From ae6a76d0df7d660e8ddb2dea9e13554bdf40d585 Mon Sep 17 00:00:00 2001 From: ubx1szh Date: Fri, 12 Jul 2024 11:13:06 +0800 Subject: [PATCH] fix(tbl): write back original vttbr Signed-off-by: Xiongfei Liu <95175997+xioliu@users.noreply.github.com> --- src/arch/armv8/armv8-a/inc/arch/tlb.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/arch/armv8/armv8-a/inc/arch/tlb.h b/src/arch/armv8/armv8-a/inc/arch/tlb.h index 41f6161ca..6edd4a3ef 100644 --- a/src/arch/armv8/armv8-a/inc/arch/tlb.h +++ b/src/arch/armv8/armv8-a/inc/arch/tlb.h @@ -62,7 +62,7 @@ static inline void tlb_vm_inv_all(asid_t vmid) if (switch_vmid) { DSB(ish); - sysreg_vttbr_el2_write(((uint64_t)vmid << VTTBR_VMID_OFF) & VTTBR_VMID_MSK); + sysreg_vttbr_el2_write(vttbr); } }