pa0               347 kernel/vm.c      uint64 n, va0, pa0;
pa0               355 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
pa0               356 kernel/vm.c        if (pa0 == 0) {
pa0               357 kernel/vm.c          if ((pa0 = vmfault(pagetable, psz, va0, 0)) == 0) {
pa0               370 kernel/vm.c        memmove((void *)(pa0 + (dstva - va0)), src, n);
pa0               385 kernel/vm.c      uint64 n, va0, pa0;
pa0               389 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
pa0               390 kernel/vm.c        if (pa0 == 0) {
pa0               391 kernel/vm.c          if ((pa0 = vmfault(pagetable, psz, va0, 1)) == 0) {
pa0               398 kernel/vm.c        memmove(dst, (void *)(pa0 + (srcva - va0)), n);
pa0               415 kernel/vm.c      uint64 n, va0, pa0;
pa0               420 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
pa0               421 kernel/vm.c        if (pa0 == 0) {
pa0               422 kernel/vm.c          if ((pa0 = vmfault(pagetable, psz, va0, 1)) == 0) {
pa0               430 kernel/vm.c        char *p = (char *)(pa0 + (srcva - va0));