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);