add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm/include/asm/efi.h
..
..
@@ -37,7 +37,11 @@
37
37
 
38
38
 static inline void efi_set_pgd(struct mm_struct *mm)
39
39
 {
40
+	unsigned long flags;
41
+
42
+	protect_inband_mm(flags);
40
43
 	check_and_switch_context(mm, NULL);
44
+	unprotect_inband_mm(flags);
41
45
 }
42
46
 
43
47
 void efi_virtmap_load(void);