add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-gic-v3-its-pci-msi.c
..
..
@@ -29,6 +29,7 @@
29
29
 	.irq_mask		= its_mask_msi_irq,
30
30
 	.irq_eoi		= irq_chip_eoi_parent,
31
31
 	.irq_write_msi_msg	= pci_msi_domain_write_msg,
32
+	.flags			= IRQCHIP_PIPELINE_SAFE,
32
33
 };
33
34
 
34
35
 static int its_pci_msi_vec_count(struct pci_dev *pdev, void *data)