walkaddr          172 kernel/defs.h  uint64          walkaddr(pagetable_t, uint64);
walkaddr          154 kernel/exec.c      pa = walkaddr(pagetable, va + i);
walkaddr          395 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
walkaddr          422 kernel/vm.c        pa0 = walkaddr(pagetable, va0);