add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/pinctrl/bcm/pinctrl-bcm2835.c
..
..
@@ -88,7 +88,7 @@
88
88
 	struct pinctrl_desc pctl_desc;
89
89
 	struct pinctrl_gpio_range gpio_range;
90
90
 
91
-	raw_spinlock_t irq_lock[BCM2835_NUM_BANKS];
91
+	hard_spinlock_t irq_lock[BCM2835_NUM_BANKS];
92
92
 };
93
93
 
94
94
 /* pins are just named GPIO0..GPIO53 */
..
..
@@ -678,7 +678,7 @@
678
678
 	.irq_mask = bcm2835_gpio_irq_disable,
679
679
 	.irq_unmask = bcm2835_gpio_irq_enable,
680
680
 	.irq_set_wake = bcm2835_gpio_irq_set_wake,
681
-	.flags = IRQCHIP_MASK_ON_SUSPEND,
681
+	.flags = IRQCHIP_MASK_ON_SUSPEND|IRQCHIP_PIPELINE_SAFE,
682
682
 };
683
683
 
684
684
 static int bcm2835_pctl_get_groups_count(struct pinctrl_dev *pctldev)