From 2f529f9b558ca1c1bd74be7437a84e4711743404 Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Fri, 01 Nov 2024 02:11:33 +0000
Subject: [PATCH] add xenomai
---
kernel/arch/arm64/include/asm/efi.h | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/kernel/arch/arm64/include/asm/efi.h b/kernel/arch/arm64/include/asm/efi.h
index 16892f0..6f52727 100644
--- a/kernel/arch/arm64/include/asm/efi.h
+++ b/kernel/arch/arm64/include/asm/efi.h
@@ -115,6 +115,10 @@
static inline void efi_set_pgd(struct mm_struct *mm)
{
+ unsigned long flags;
+
+ protect_inband_mm(flags);
+
__switch_mm(mm);
if (system_uses_ttbr0_pan()) {
@@ -139,6 +143,8 @@
update_saved_ttbr0(current, current->active_mm);
}
}
+
+ unprotect_inband_mm(flags);
}
void efi_virtmap_load(void);
--
Gitblit v1.6.2