add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm/kernel/patch.c
..
..
@@ -17,7 +17,7 @@
17
17
 };
18
18
 
19
19
 #ifdef CONFIG_MMU
20
-static DEFINE_RAW_SPINLOCK(patch_lock);
20
+static DEFINE_HARD_SPINLOCK(patch_lock);
21
21
 
22
22
 static void __kprobes *patch_map(void *addr, int fixmap, unsigned long *flags)
23
23
 {