add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/apic/apic_flat_64.c
..
..
@@ -52,9 +52,9 @@
52
52
 {
53
53
 	unsigned long flags;
54
54
 
55
-	local_irq_save(flags);
55
+	flags = hard_local_irq_save();
56
56
 	__default_send_IPI_dest_field(mask, vector, apic->dest_logical);
57
-	local_irq_restore(flags);
57
+	hard_local_irq_restore(flags);
58
58
 }
59
59
 
60
60
 static void flat_send_IPI_mask(const struct cpumask *cpumask, int vector)