add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/memory/omap-gpmc.c
..
..
@@ -1405,6 +1405,7 @@
1405
1405
 	gpmc->irq_chip.irq_mask = gpmc_irq_mask;
1406
1406
 	gpmc->irq_chip.irq_unmask = gpmc_irq_unmask;
1407
1407
 	gpmc->irq_chip.irq_set_type = gpmc_irq_set_type;
1408
+	gpmc->irq_chip.flags = IRQCHIP_PIPELINE_SAFE;
1408
1409
 
1409
1410
 	gpmc_irq_domain = irq_domain_add_linear(gpmc->dev->of_node,
1410
1411
 						gpmc->nirqs,
..
..
@@ -1415,7 +1416,7 @@
1415
1416
 		return -ENODEV;
1416
1417
 	}
1417
1418
 
1418
-	rc = request_irq(gpmc->irq, gpmc_handle_irq, 0, "gpmc", gpmc);
1419
+	rc = request_irq(gpmc->irq, gpmc_handle_irq, IRQF_OOB, "gpmc", gpmc);
1419
1420
 	if (rc) {
1420
1421
 		dev_err(gpmc->dev, "failed to request irq %d: %d\n",
1421
1422
 			gpmc->irq, rc);