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