alloc              99 kernel/vm.c    walk(pagetable_t pagetable, uint64 va, int alloc)
alloc             109 kernel/vm.c          if (!alloc || (pagetable = (pde_t *)kalloc()) == 0)