va0               347 kernel/vm.c      uint64 n, va0, pa0;
va0               351 kernel/vm.c        va0 = PGROUNDDOWN(dstva);
va0               352 kernel/vm.c        if (va0 >= MAXVA)
va0               355 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
va0               357 kernel/vm.c          if ((pa0 = vmfault(pagetable, psz, va0, 0)) == 0) {
va0               362 kernel/vm.c        pte = walk(pagetable, va0, 0);
va0               367 kernel/vm.c        n = PGSIZE - (dstva - va0);
va0               370 kernel/vm.c        memmove((void *)(pa0 + (dstva - va0)), src, n);
va0               374 kernel/vm.c        dstva = va0 + PGSIZE;
va0               385 kernel/vm.c      uint64 n, va0, pa0;
va0               388 kernel/vm.c        va0 = PGROUNDDOWN(srcva);
va0               389 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
va0               391 kernel/vm.c          if ((pa0 = vmfault(pagetable, psz, va0, 1)) == 0) {
va0               395 kernel/vm.c        n = PGSIZE - (srcva - va0);
va0               398 kernel/vm.c        memmove(dst, (void *)(pa0 + (srcva - va0)), n);
va0               402 kernel/vm.c        srcva = va0 + PGSIZE;
va0               415 kernel/vm.c      uint64 n, va0, pa0;
va0               419 kernel/vm.c        va0 = PGROUNDDOWN(srcva);
va0               420 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
va0               422 kernel/vm.c          if ((pa0 = vmfault(pagetable, psz, va0, 1)) == 0) {
va0               426 kernel/vm.c        n = PGSIZE - (srcva - va0);
va0               430 kernel/vm.c        char *p = (char *)(pa0 + (srcva - va0));
va0               445 kernel/vm.c        srcva = va0 + PGSIZE;