add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-gic-v3-mbi.c
..
..
@@ -216,7 +216,7 @@
216
216
 	.name			= "pMSI",
217
217
 	.irq_set_type		= irq_chip_set_type_parent,
218
218
 	.irq_compose_msi_msg	= mbi_compose_mbi_msg,
219
-	.flags			= IRQCHIP_SUPPORTS_LEVEL_MSI,
219
+	.flags			= IRQCHIP_SUPPORTS_LEVEL_MSI | IRQCHIP_PIPELINE_SAFE,
220
220
 };
221
221
 
222
222
 static struct msi_domain_ops mbi_pmsi_ops = {