walkaddr          167 kernel/defs.h  uint64          walkaddr(pagetable_t, uint64);
walkaddr          164 kernel/exec.c      pa = walkaddr(pagetable, va + i);
walkaddr          355 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
walkaddr          389 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
walkaddr          420 kernel/vm.c        pa0 = walkaddr(pagetable, va0);