add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-gic-v2m.c
..
..
@@ -89,6 +89,7 @@
89
89
 	.irq_unmask		= gicv2m_unmask_msi_irq,
90
90
 	.irq_eoi		= irq_chip_eoi_parent,
91
91
 	.irq_write_msi_msg	= pci_msi_domain_write_msg,
92
+	.flags			= IRQCHIP_PIPELINE_SAFE,
92
93
 };
93
94
 
94
95
 static struct msi_domain_info gicv2m_msi_domain_info = {
..
..
@@ -130,6 +131,7 @@
130
131
 	.irq_eoi		= irq_chip_eoi_parent,
131
132
 	.irq_set_affinity	= irq_chip_set_affinity_parent,
132
133
 	.irq_compose_msi_msg	= gicv2m_compose_msi_msg,
134
+	.flags			= IRQCHIP_PIPELINE_SAFE,
133
135
 };
134
136
 
135
137
 static int gicv2m_irq_gic_domain_alloc(struct irq_domain *domain,
..
..
@@ -252,6 +254,7 @@
252
254
 
253
255
 static struct irq_chip gicv2m_pmsi_irq_chip = {
254
256
 	.name			= "pMSI",
257
+	.flags			= IRQCHIP_PIPELINE_SAFE,
255
258
 };
256
259
 
257
260
 static struct msi_domain_ops gicv2m_pmsi_ops = {