add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm64/kernel/irq.c
..
..
@@ -14,6 +14,7 @@
14
14
 #include <linux/memory.h>
15
15
 #include <linux/smp.h>
16
16
 #include <linux/hardirq.h>
17
+#include <linux/irq_pipeline.h>
17
18
 #include <linux/init.h>
18
19
 #include <linux/irqchip.h>
19
20
 #include <linux/kprobes.h>
..
..
@@ -28,6 +29,15 @@
28
29
 
29
30
 DEFINE_PER_CPU(unsigned long *, irq_stack_ptr);
30
31
 
32
+#ifdef CONFIG_IRQ_PIPELINE
33
+
34
+asmlinkage int notrace
35
+handle_arch_irq_pipelined(struct pt_regs *regs)
36
+{
37
+	return handle_irq_pipelined(regs);
38
+}
39
+
40
+#endif
31
41
 
32
42
 DECLARE_PER_CPU(unsigned long *, irq_shadow_call_stack_ptr);
33
43