add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-bcm2836.c
..
..
@@ -58,6 +58,7 @@
58
58
 	.name		= "bcm2836-timer",
59
59
 	.irq_mask	= bcm2836_arm_irqchip_mask_timer_irq,
60
60
 	.irq_unmask	= bcm2836_arm_irqchip_unmask_timer_irq,
61
+	.flags		= IRQCHIP_PIPELINE_SAFE,
61
62
 };
62
63
 
63
64
 static void bcm2836_arm_irqchip_mask_pmu_irq(struct irq_data *d)
..
..
@@ -74,6 +75,7 @@
74
75
 	.name		= "bcm2836-pmu",
75
76
 	.irq_mask	= bcm2836_arm_irqchip_mask_pmu_irq,
76
77
 	.irq_unmask	= bcm2836_arm_irqchip_unmask_pmu_irq,
78
+	.flags		= IRQCHIP_PIPELINE_SAFE,
77
79
 };
78
80
 
79
81
 static void bcm2836_arm_irqchip_mask_gpu_irq(struct irq_data *d)
..
..
@@ -88,6 +90,7 @@
88
90
 	.name		= "bcm2836-gpu",
89
91
 	.irq_mask	= bcm2836_arm_irqchip_mask_gpu_irq,
90
92
 	.irq_unmask	= bcm2836_arm_irqchip_unmask_gpu_irq,
93
+	.flags		= IRQCHIP_PIPELINE_SAFE,
91
94
 };
92
95
 
93
96
 static void bcm2836_arm_irqchip_dummy_op(struct irq_data *d)