add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/gpio/gpio-zynq.c
..
..
@@ -601,7 +601,7 @@
601
601
 	.irq_request_resources = zynq_gpio_irq_reqres,
602
602
 	.irq_release_resources = zynq_gpio_irq_relres,
603
603
 	.flags		= IRQCHIP_EOI_THREADED | IRQCHIP_EOI_IF_HANDLED |
604
-			  IRQCHIP_MASK_ON_SUSPEND,
604
+			  IRQCHIP_MASK_ON_SUSPEND | IRQCHIP_PIPELINE_SAFE,
605
605
 };
606
606
 
607
607
 static struct irq_chip zynq_gpio_edge_irqchip = {
..
..
@@ -614,7 +614,7 @@
614
614
 	.irq_set_wake	= zynq_gpio_set_wake,
615
615
 	.irq_request_resources = zynq_gpio_irq_reqres,
616
616
 	.irq_release_resources = zynq_gpio_irq_relres,
617
-	.flags		= IRQCHIP_MASK_ON_SUSPEND,
617
+	.flags		= IRQCHIP_MASK_ON_SUSPEND | IRQCHIP_PIPELINE_SAFE,
618
618
 };
619
619
 
620
620
 static void zynq_gpio_handle_bank_irq(struct zynq_gpio *gpio,