add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-bcm2835.c
..
..
@@ -102,7 +102,8 @@
102
102
 static struct irq_chip armctrl_chip = {
103
103
 	.name = "ARMCTRL-level",
104
104
 	.irq_mask = armctrl_mask_irq,
105
-	.irq_unmask = armctrl_unmask_irq
105
+	.irq_unmask = armctrl_unmask_irq,
106
+	.flags = IRQCHIP_PIPELINE_SAFE,
106
107
 };
107
108
 
108
109
 static int armctrl_xlate(struct irq_domain *d, struct device_node *ctrlr,