add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm/kernel/irq.c
..
..
@@ -23,6 +23,7 @@
23
23
 #include <linux/interrupt.h>
24
24
 #include <linux/irq.h>
25
25
 #include <linux/irqchip.h>
26
+#include <linux/irq_pipeline.h>
26
27
 #include <linux/random.h>
27
28
 #include <linux/smp.h>
28
29
 #include <linux/init.h>
..
..
@@ -97,6 +98,14 @@
97
98
 	uniphier_cache_init();
98
99
 }
99
100
 
101
+#ifdef CONFIG_IRQ_PIPELINE
102
+asmlinkage int __exception_irq_entry
103
+handle_arch_irq_pipelined(struct pt_regs *regs)
104
+{
105
+	return handle_irq_pipelined(regs);
106
+}
107
+#endif
108
+
100
109
 #ifdef CONFIG_SPARSE_IRQ
101
110
 int __init arch_probe_nr_irqs(void)
102
111
 {