add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/include/asm/mmu_context.h
..
..
@@ -128,6 +128,13 @@
128
128
 			       struct task_struct *tsk);
129
129
 #define switch_mm_irqs_off switch_mm_irqs_off
130
130
 
131
+static inline void
132
+switch_oob_mm(struct mm_struct *prev, struct mm_struct *next,
133
+	      struct task_struct *tsk)
134
+{
135
+	switch_mm_irqs_off(prev, next, tsk);
136
+}
137
+
131
138
 #define activate_mm(prev, next)			\
132
139
 do {						\
133
140
 	paravirt_activate_mm((prev), (next));	\