walk              165 kernel/defs.h  pte_t *         walk(pagetable_t, uint64, int);
walk              129 kernel/vm.c      pte = walk(pagetable, va, 0);
walk              163 kernel/vm.c        if((pte = walk(pagetable, a, 1)) == 0)
walk              202 kernel/vm.c        if((pte = walk(pagetable, a, 0)) == 0) // leaf page table entry allocated?
walk              305 kernel/vm.c        if((pte = walk(old, i, 0)) == 0)
walk              333 kernel/vm.c      pte = walk(pagetable, va, 0);
walk              360 kernel/vm.c        pte = walk(pagetable, va0, 0);
walk              478 kernel/vm.c      pte_t *pte = walk(pagetable, va, 0);