add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm/include/asm/ptrace.h
..
..
@@ -20,6 +20,9 @@
20
20
 	struct pt_regs regs;
21
21
 	u32 dacr;
22
22
 	u32 addr_limit;
23
+#ifdef CONFIG_IRQ_PIPELINE
24
+	long irqstate;
25
+#endif
23
26
 };
24
27
 
25
28
 #define to_svc_pt_regs(r) container_of(r, struct svc_pt_regs, regs)