add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/gpio/gpio-pl061.c
..
..
@@ -48,7 +48,7 @@
48
48
 #endif
49
49
 
50
50
 struct pl061 {
51
-	raw_spinlock_t		lock;
51
+	hard_spinlock_t		lock;
52
52
 
53
53
 	void __iomem		*base;
54
54
 	struct gpio_chip	gc;
..
..
@@ -321,6 +321,7 @@
321
321
 	pl061->irq_chip.irq_unmask = pl061_irq_unmask;
322
322
 	pl061->irq_chip.irq_set_type = pl061_irq_type;
323
323
 	pl061->irq_chip.irq_set_wake = pl061_irq_set_wake;
324
+	pl061->irq_chip.flags = IRQCHIP_PIPELINE_SAFE;
324
325
 
325
326
 	writeb(0, pl061->base + GPIOIE); /* disable irqs */
326
327
 	irq = adev->irq[0];