add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/irq/msi.c
..
..
@@ -272,6 +272,9 @@
272
272
 	struct irq_chip *chip = info->chip;
273
273
 
274
274
 	BUG_ON(!chip || !chip->irq_mask || !chip->irq_unmask);
275
+	WARN_ONCE(IS_ENABLED(CONFIG_IRQ_PIPELINE) &&
276
+		  (chip->flags & IRQCHIP_PIPELINE_SAFE) == 0,
277
+		  "MSI domain irqchip %s is not pipeline-safe!", chip->name);
275
278
 	if (!chip->irq_set_affinity)
276
279
 		chip->irq_set_affinity = msi_domain_set_affinity;
277
280
 }