add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-gic.c
..
..
@@ -91,7 +91,7 @@
91
91
 
92
92
 #ifdef CONFIG_BL_SWITCHER
93
93
 
94
-static DEFINE_RAW_SPINLOCK(cpu_map_lock);
94
+static DEFINE_HARD_SPINLOCK(cpu_map_lock);
95
95
 
96
96
 #define gic_lock_irqsave(f)		\
97
97
 	raw_spin_lock_irqsave(&cpu_map_lock, (f))
..
..
@@ -449,7 +449,8 @@
449
449
 	.irq_set_irqchip_state	= gic_irq_set_irqchip_state,
450
450
 	.flags			= IRQCHIP_SET_TYPE_MASKED |
451
451
 				  IRQCHIP_SKIP_SET_WAKE |
452
-				  IRQCHIP_MASK_ON_SUSPEND,
452
+				  IRQCHIP_MASK_ON_SUSPEND |
453
+				  IRQCHIP_PIPELINE_SAFE,
453
454
 };
454
455
 
455
456
 void __init gic_cascade_irq(unsigned int gic_nr, unsigned int irq)