add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-gic-v3-its-platform-msi.c
..
..
@@ -12,6 +12,7 @@
12
12
 
13
13
 static struct irq_chip its_pmsi_irq_chip = {
14
14
 	.name			= "ITS-pMSI",
15
+	.flags			= IRQCHIP_PIPELINE_SAFE,
15
16
 };
16
17
 
17
18
 static int of_pmsi_get_dev_id(struct irq_domain *domain, struct device *dev,