walkaddr          166 kernel/defs.h  uint64          walkaddr(pagetable_t, uint64);
walkaddr          161 kernel/exec.c      pa = walkaddr(pagetable, va + i);
walkaddr          353 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
walkaddr          387 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
walkaddr          417 kernel/vm.c        pa0 = walkaddr(pagetable, va0);