add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/pinctrl/samsung/pinctrl-samsung.h
..
..
@@ -171,7 +171,7 @@
171
171
 	struct gpio_chip gpio_chip;
172
172
 	struct pinctrl_gpio_range grange;
173
173
 	struct exynos_irq_chip *irq_chip;
174
-	spinlock_t slock;
174
+	hard_spinlock_t slock;
175
175
 
176
176
 	u32 pm_save[PINCFG_TYPE_NUM + 1]; /* +1 to handle double CON registers*/
177
177
 };