add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-imx-irqsteer.c
..
..
@@ -29,7 +29,7 @@
29
29
 	struct clk		*ipg_clk;
30
30
 	int			irq[CHAN_MAX_OUTPUT_INT];
31
31
 	int			irq_count;
32
-	raw_spinlock_t		lock;
32
+	hard_spinlock_t		lock;
33
33
 	int			reg_num;
34
34
 	int			channel;
35
35
 	struct irq_domain	*domain;
..
..
@@ -74,6 +74,7 @@
74
74
 	.name		= "irqsteer",
75
75
 	.irq_mask	= imx_irqsteer_irq_mask,
76
76
 	.irq_unmask	= imx_irqsteer_irq_unmask,
77
+	.flags		= IRQCHIP_PIPELINE_SAFE,
77
78
 };
78
79
 
79
80
 static int imx_irqsteer_irq_map(struct irq_domain *h, unsigned int irq,