add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/cpu/mce/threshold.c
..
..
@@ -27,5 +27,5 @@
27
27
 	inc_irq_stat(irq_threshold_count);
28
28
 	mce_threshold_vector();
29
29
 	trace_threshold_apic_exit(THRESHOLD_APIC_VECTOR);
30
-	ack_APIC_irq();
30
+	__ack_APIC_irq();
31
31
 }