add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/irq/dummychip.c
..
..
@@ -43,7 +43,7 @@
43
43
 	.irq_enable	= noop,
44
44
 	.irq_disable	= noop,
45
45
 	.irq_ack	= ack_bad,
46
-	.flags		= IRQCHIP_SKIP_SET_WAKE,
46
+	.flags		= IRQCHIP_SKIP_SET_WAKE | IRQCHIP_PIPELINE_SAFE,
47
47
 };
48
48
 
49
49
 /*
..
..
@@ -59,6 +59,6 @@
59
59
 	.irq_ack	= noop,
60
60
 	.irq_mask	= noop,
61
61
 	.irq_unmask	= noop,
62
-	.flags		= IRQCHIP_SKIP_SET_WAKE,
62
+	.flags		= IRQCHIP_SKIP_SET_WAKE | IRQCHIP_PIPELINE_SAFE,
63
63
 };
64
64
 EXPORT_SYMBOL_GPL(dummy_irq_chip);