summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--kernel/vm.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/vm.c b/kernel/vm.c
index 3631c9c..7524998 100644
--- a/kernel/vm.c
+++ b/kernel/vm.c
@@ -54,8 +54,8 @@ kvminit()
void
kvminithart()
{
- sfence_vma();
w_satp(MAKE_SATP(kernel_pagetable));
+ sfence_vma();
}
// Return the address of the PTE in page table pagetable