fix(tbl): write back original vttbr

Signed-off-by: Xiongfei Liu <[email protected]>
bao-project · Jul 12, 2024 · 2e6ceb7 · 2e6ceb7
1 parent 59a293c
commit 2e6ceb7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);
     }
 }