add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/i8259.c
..
..
@@ -33,7 +33,7 @@
33
33
 static void init_8259A(int auto_eoi);
34
34
 
35
35
 static int i8259A_auto_eoi;
36
-DEFINE_RAW_SPINLOCK(i8259A_lock);
36
+DEFINE_HARD_SPINLOCK(i8259A_lock);
37
37
 
38
38
 /*
39
39
  * 8259A PIC functions to handle ISA devices:
..
..
@@ -227,6 +227,7 @@
227
227
 	.irq_disable	= disable_8259A_irq,
228
228
 	.irq_unmask	= enable_8259A_irq,
229
229
 	.irq_mask_ack	= mask_and_ack_8259A,
230
+	.flags		= IRQCHIP_PIPELINE_SAFE,
230
231
 };
231
232
 
232
233
 static char irq_trigger[2];