va0               345 kernel/vm.c      uint64 n, va0, pa0;
va0               349 kernel/vm.c        va0 = PGROUNDDOWN(dstva);
va0               350 kernel/vm.c        if(va0 >= MAXVA)
va0               353 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
va0               355 kernel/vm.c          if((pa0 = vmfault(pagetable, va0, 0)) == 0) {
va0               360 kernel/vm.c        pte = walk(pagetable, va0, 0);
va0               365 kernel/vm.c        n = PGSIZE - (dstva - va0);
va0               368 kernel/vm.c        memmove((void *)(pa0 + (dstva - va0)), src, n);
va0               372 kernel/vm.c        dstva = va0 + PGSIZE;
va0               383 kernel/vm.c      uint64 n, va0, pa0;
va0               386 kernel/vm.c        va0 = PGROUNDDOWN(srcva);
va0               387 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
va0               389 kernel/vm.c          if((pa0 = vmfault(pagetable, va0, 0)) == 0) {
va0               393 kernel/vm.c        n = PGSIZE - (srcva - va0);
va0               396 kernel/vm.c        memmove(dst, (void *)(pa0 + (srcva - va0)), n);
va0               400 kernel/vm.c        srcva = va0 + PGSIZE;
va0               412 kernel/vm.c      uint64 n, va0, pa0;
va0               416 kernel/vm.c        va0 = PGROUNDDOWN(srcva);
va0               417 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
va0               420 kernel/vm.c        n = PGSIZE - (srcva - va0);
va0               424 kernel/vm.c        char *p = (char *) (pa0 + (srcva - va0));
va0               439 kernel/vm.c        srcva = va0 + PGSIZE;