add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/include/asm/i8259.h
..
..
@@ -26,7 +26,7 @@
26
26
 #define SLAVE_ICW4_DEFAULT	0x01
27
27
 #define PIC_ICW4_AEOI		2
28
28
 
29
-extern raw_spinlock_t i8259A_lock;
29
+extern hard_spinlock_t i8259A_lock;
30
30
 
31
31
 /* the PIC may need a careful delay on some platforms, hence specific calls */
32
32
 static inline unsigned char inb_pic(unsigned int port)