1 files changed, 6 insertions, 2 deletions
diff --git a/vm.c b/vm.c
index b24b271..1d3887a 100644
--- a/vm.c
+++ b/vm.c
@@ -54,9 +54,13 @@ kvminit()
   // the highest virtual address in the kernel.
   mappages(kernel_pagetable, TRAMPOLINE, PGSIZE,
            (uint64)trampout, PTE_R | PTE_X);
+}
 
-  // Switch h/w page table register to the kernel's page table,
-  // and enable paging.
+// Switch h/w page table register to the kernel's page table,
+// and enable paging.
+void
+kvminithart()
+{
   w_satp(MAKE_SATP(kernel_pagetable));
 }