walk              171 kernel/defs.h  pte_t *         walk(pagetable_t, uint64, int);
walk              117 kernel/vm.c      pte = walk(pagetable, va, 0);
walk              161 kernel/vm.c        if((pte = walk(pagetable, a, 1)) == 0)
walk              187 kernel/vm.c        if((pte = walk(pagetable, a, 0)) == 0)
walk              321 kernel/vm.c        if((pte = walk(old, i, 0)) == 0)
walk              349 kernel/vm.c      pte = walk(pagetable, va, 0);
walk              368 kernel/vm.c        pte = walk(pagetable, va0, 0);