add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/include/linux/kernel.h
..
..
@@ -15,6 +15,7 @@
15
15
 #include <linux/typecheck.h>
16
16
 #include <linux/printk.h>
17
17
 #include <linux/build_bug.h>
18
+#include <asm-generic/irq_pipeline.h>
18
19
 #include <asm/byteorder.h>
19
20
 #include <asm/div64.h>
20
21
 #include <uapi/linux/kernel.h>
..
..
@@ -195,9 +196,12 @@
195
196
 
196
197
 #ifdef CONFIG_PREEMPT_VOLUNTARY
197
198
 extern int _cond_resched(void);
198
-# define might_resched() _cond_resched()
199
+# define might_resched() do { \
200
+		check_inband_stage(); \
201
+		_cond_resched(); \
202
+	} while (0)
199
203
 #else
200
-# define might_resched() do { } while (0)
204
+# define might_resched() check_inband_stage()
201
205
 #endif
202
206
 
203
207
 #ifdef CONFIG_DEBUG_ATOMIC_SLEEP