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