add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/apic/apic_numachip.c
..
..
@@ -103,10 +103,10 @@
103
103
 	if (!((apicid ^ local_apicid) >> NUMACHIP_LAPIC_BITS)) {
104
104
 		unsigned long flags;
105
105
 
106
-		local_irq_save(flags);
106
+		flags = hard_local_irq_save();
107
107
 		__default_send_IPI_dest_field(apicid, vector,
108
108
 			APIC_DEST_PHYSICAL);
109
-		local_irq_restore(flags);
109
+		hard_local_irq_restore(flags);
110
110
 		preempt_enable();
111
111
 		return;
112
112
 	}