add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/gpio/gpio-mxc.c
..
..
@@ -361,7 +361,8 @@
361
361
 	ct->chip.irq_unmask = irq_gc_mask_set_bit;
362
362
 	ct->chip.irq_set_type = gpio_set_irq_type;
363
363
 	ct->chip.irq_set_wake = gpio_set_wake_irq;
364
-	ct->chip.flags = IRQCHIP_MASK_ON_SUSPEND | IRQCHIP_ENABLE_WAKEUP_ON_SUSPEND;
364
+	ct->chip.flags = IRQCHIP_MASK_ON_SUSPEND |
365
+		IRQCHIP_ENABLE_WAKEUP_ON_SUSPEND | IRQCHIP_PIPELINE_SAFE;
365
366
 	ct->regs.ack = GPIO_ISR;
366
367
 	ct->regs.mask = GPIO_IMR;
367
368