add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/include/asm/apic.h
..
..
@@ -437,7 +437,7 @@
437
437
 
438
438
 extern void apic_ack_irq(struct irq_data *data);
439
439
 
440
-static inline void ack_APIC_irq(void)
440
+static inline void __ack_APIC_irq(void)
441
441
 {
442
442
 	/*
443
443
 	 * ack_APIC_irq() actually gets compiled as a single instruction
..
..
@@ -446,6 +446,11 @@
446
446
 	apic_eoi();
447
447
 }
448
448
 
449
+static inline void ack_APIC_irq(void)
450
+{
451
+	if (!irqs_pipelined())
452
+		__ack_APIC_irq();
453
+}
449
454
 
450
455
 static inline bool lapic_vector_set_in_irr(unsigned int vector)
451
456
 {