diff --git a/kernel/vm.c b/kernel/vm.c
index 252d97c..bd53fd7 100644
--- a/kernel/vm.c
+++ b/kernel/vm.c
@@ -65,7 +65,7 @@ kvminithart()
 //   21..29 -- 9 bits of level-1 index.
 //   12..20 -- 9 bits of level-0 index.
 //    0..11 -- 12 bits of byte offset within the page.
-static pte_t *
+pte_t *
 walk(pagetable_t pagetable, uint64 va, int alloc)
 {
   if(va >= MAXVA)