walk              166 kernel/defs.h  pte_t *         walk(pagetable_t, uint64, int);
walk              130 kernel/vm.c      pte = walk(pagetable, va, 0);
walk              164 kernel/vm.c        if ((pte = walk(pagetable, a, 1)) == 0)
walk              203 kernel/vm.c        if ((pte = walk(pagetable, a, 0)) == 0) // leaf page table entry allocated?
walk              307 kernel/vm.c        if ((pte = walk(old, i, 0)) == 0)
walk              335 kernel/vm.c      pte = walk(pagetable, va, 0);
walk              362 kernel/vm.c        pte = walk(pagetable, va0, 0);
walk              483 kernel/vm.c      pte_t *pte = walk(pagetable, va, 0);