add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/include/linux/stop_machine.h
..
..
@@ -6,6 +6,7 @@
6
6
 #include <linux/cpumask.h>
7
7
 #include <linux/smp.h>
8
8
 #include <linux/list.h>
9
+#include <linux/interrupt.h>
9
10
 
10
11
 /*
11
12
  * stop_cpu[s]() is simplistic per-cpu maximum priority cpu
..
..
@@ -143,7 +144,9 @@
143
144
 	unsigned long flags;
144
145
 	int ret;
145
146
 	local_irq_save(flags);
147
+	hard_irq_disable();
146
148
 	ret = fn(data);
149
+	hard_irq_enable();
147
150
 	local_irq_restore(flags);
148
151
 	return ret;
149
152
 }