add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-sunxi-nmi.c
..
..
@@ -200,7 +200,9 @@
200
200
 	gc->chip_types[0].chip.irq_unmask	= irq_gc_mask_set_bit;
201
201
 	gc->chip_types[0].chip.irq_eoi		= irq_gc_ack_set_bit;
202
202
 	gc->chip_types[0].chip.irq_set_type	= sunxi_sc_nmi_set_type;
203
-	gc->chip_types[0].chip.flags		= IRQCHIP_EOI_THREADED | IRQCHIP_EOI_IF_HANDLED;
203
+	gc->chip_types[0].chip.flags		= IRQCHIP_EOI_THREADED |
204
+									IRQCHIP_EOI_IF_HANDLED |
205
+									IRQCHIP_PIPELINE_SAFE;
204
206
 	gc->chip_types[0].regs.ack		= reg_offs->pend;
205
207
 	gc->chip_types[0].regs.mask		= reg_offs->enable;
206
208
 	gc->chip_types[0].regs.type		= reg_offs->ctrl;