add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/apic/x2apic_cluster.c
..
..
@@ -44,7 +44,7 @@
44
44
 
45
45
 	/* x2apic MSRs are special and need a special fence: */
46
46
 	weak_wrmsr_fence();
47
-	local_irq_save(flags);
47
+	flags = hard_local_irq_save();
48
48
 
49
49
 	tmpmsk = this_cpu_cpumask_var_ptr(ipi_mask);
50
50
 	cpumask_copy(tmpmsk, mask);
..
..
@@ -68,7 +68,7 @@
68
68
 		cpumask_andnot(tmpmsk, tmpmsk, &cmsk->mask);
69
69
 	}
70
70
 
71
-	local_irq_restore(flags);
71
+	hard_local_irq_restore(flags);
72
72
 }
73
73
 
74
74
 static void x2apic_send_IPI_mask(const struct cpumask *mask, int vector)