---
 drivers/irqchip/irq-bcm2835.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/drivers/irqchip/irq-bcm2835.c b/drivers/irqchip/irq-bcm2835.c
index bf8c9d4..8a1b729 100644
--- a/drivers/irqchip/irq-bcm2835.c
+++ b/drivers/irqchip/irq-bcm2835.c
@@ -115,6 +115,7 @@ static struct irq_chip armctrl_chip = {
        .irq_hold = armctrl_mask_irq,
        .irq_release = armctrl_unmask_irq,
 #endif
+       .flags       = IRQCHIP_PIPELINE_SAFE,
 };
 
 static int armctrl_xlate(struct irq_domain *d, struct device_node *ctrlr,
-- 
2.7.4


_______________________________________________
Xenomai mailing list
Xenomai@xenomai.org
https://xenomai.org/mailman/listinfo/xenomai

Reply via email to