add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/irq_work.c
..
..
@@ -14,7 +14,8 @@
14
14
 #include <linux/interrupt.h>
15
15
 
16
16
 #ifdef CONFIG_X86_LOCAL_APIC
17
-DEFINE_IDTENTRY_SYSVEC(sysvec_irq_work)
17
+DEFINE_IDTENTRY_SYSVEC_PIPELINED(IRQ_WORK_VECTOR,
18
+				 sysvec_irq_work)
18
19
 {
19
20
 	ack_APIC_irq();
20
21
 	trace_irq_work_entry(IRQ_WORK_VECTOR);