add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm64/include/asm/efi.h
..
..
@@ -115,6 +115,10 @@
115
115
 
116
116
 static inline void efi_set_pgd(struct mm_struct *mm)
117
117
 {
118
+	unsigned long flags;
119
+
120
+	protect_inband_mm(flags);
121
+
118
122
 	__switch_mm(mm);
119
123
 
120
124
 	if (system_uses_ttbr0_pan()) {
..
..
@@ -139,6 +143,8 @@
139
143
 			update_saved_ttbr0(current, current->active_mm);
140
144
 		}
141
145
 	}
146
+
147
+	unprotect_inband_mm(flags);
142
148
 }
143
149
 
144
150
 void efi_virtmap_load(void);