add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-sun4i.c
..
..
@@ -87,7 +87,7 @@
87
87
 	.irq_eoi	= sun4i_irq_ack,
88
88
 	.irq_mask	= sun4i_irq_mask,
89
89
 	.irq_unmask	= sun4i_irq_unmask,
90
-	.flags		= IRQCHIP_EOI_THREADED | IRQCHIP_EOI_IF_HANDLED,
90
+	.flags		= IRQCHIP_EOI_THREADED | IRQCHIP_EOI_IF_HANDLED | IRQCHIP_PIPELINE_SAFE,
91
91
 };
92
92
 
93
93
 static int sun4i_irq_map(struct irq_domain *d, unsigned int virq,