add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/nmi.c
..
..
@@ -473,6 +473,10 @@
473
473
 static DEFINE_PER_CPU(unsigned long, nmi_cr2);
474
474
 static DEFINE_PER_CPU(unsigned long, nmi_dr7);
475
475
 
476
+/*
477
+ * IRQ pipeline: fixing up the virtual IRQ state makes no sense on
478
+ * NMI.
479
+ */
476
480
 DEFINE_IDTENTRY_RAW(exc_nmi)
477
481
 {
478
482
 	irqentry_state_t irq_state;