add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/include/asm/special_insns.h
..
..
@@ -138,9 +138,9 @@
138
138
 {
139
139
 	unsigned long flags;
140
140
 
141
-	local_irq_save(flags);
141
+	flags = hard_local_irq_save();
142
142
 	asm_load_gs_index(selector);
143
-	local_irq_restore(flags);
143
+	hard_local_irq_restore(flags);
144
144
 }
145
145
 
146
146
 static inline unsigned long __read_cr4(void)