add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-gic-v3.c
..
..
@@ -1356,7 +1356,8 @@
1356
1356
 	.ipi_send_mask		= gic_ipi_send_mask,
1357
1357
 	.flags			= IRQCHIP_SET_TYPE_MASKED |
1358
1358
 				  IRQCHIP_SKIP_SET_WAKE |
1359
-				  IRQCHIP_MASK_ON_SUSPEND,
1359
+				  IRQCHIP_MASK_ON_SUSPEND |
1360
+				  IRQCHIP_PIPELINE_SAFE,
1360
1361
 };
1361
1362
 
1362
1363
 static struct irq_chip gic_eoimode1_chip = {
..
..
@@ -1375,7 +1376,8 @@
1375
1376
 	.ipi_send_mask		= gic_ipi_send_mask,
1376
1377
 	.flags			= IRQCHIP_SET_TYPE_MASKED |
1377
1378
 				  IRQCHIP_SKIP_SET_WAKE |
1378
-				  IRQCHIP_MASK_ON_SUSPEND,
1379
+				  IRQCHIP_MASK_ON_SUSPEND |
1380
+				  IRQCHIP_PIPELINE_SAFE,
1379
1381
 };
1380
1382
 
1381
1383
 static int gic_irq_domain_map(struct irq_domain *d, unsigned int irq,