pa0               345 kernel/vm.c      uint64 n, va0, pa0;
pa0               353 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
pa0               354 kernel/vm.c        if(pa0 == 0) {
pa0               355 kernel/vm.c          if((pa0 = vmfault(pagetable, va0, 0)) == 0) {
pa0               368 kernel/vm.c        memmove((void *)(pa0 + (dstva - va0)), src, n);
pa0               383 kernel/vm.c      uint64 n, va0, pa0;
pa0               387 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
pa0               388 kernel/vm.c        if(pa0 == 0) {
pa0               389 kernel/vm.c          if((pa0 = vmfault(pagetable, va0, 0)) == 0) {
pa0               396 kernel/vm.c        memmove(dst, (void *)(pa0 + (srcva - va0)), n);
pa0               412 kernel/vm.c      uint64 n, va0, pa0;
pa0               417 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
pa0               418 kernel/vm.c        if(pa0 == 0)
pa0               424 kernel/vm.c        char *p = (char *) (pa0 + (srcva - va0));