add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-gic-v3-its-fsl-mc-msi.c
..
..
@@ -22,7 +22,8 @@
22
22
 	.irq_mask = irq_chip_mask_parent,
23
23
 	.irq_unmask = irq_chip_unmask_parent,
24
24
 	.irq_eoi = irq_chip_eoi_parent,
25
-	.irq_set_affinity = msi_domain_set_affinity
25
+	.irq_set_affinity = msi_domain_set_affinity,
26
+	.flags = IRQCHIP_PIPELINE_SAFE,
26
27
 };
27
28
 
28
29
 static u32 fsl_mc_msi_domain_get_msi_id(struct irq_domain *domain,