va0               361 kernel/vm.c      uint64 n, va0, pa0;
va0               365 kernel/vm.c        va0 = PGROUNDDOWN(dstva);
va0               366 kernel/vm.c        if(va0 >= MAXVA)
va0               368 kernel/vm.c        pte = walk(pagetable, va0, 0);
va0               373 kernel/vm.c        n = PGSIZE - (dstva - va0);
va0               376 kernel/vm.c        memmove((void *)(pa0 + (dstva - va0)), src, n);
va0               380 kernel/vm.c        dstva = va0 + PGSIZE;
va0               391 kernel/vm.c      uint64 n, va0, pa0;
va0               394 kernel/vm.c        va0 = PGROUNDDOWN(srcva);
va0               395 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
va0               398 kernel/vm.c        n = PGSIZE - (srcva - va0);
va0               401 kernel/vm.c        memmove(dst, (void *)(pa0 + (srcva - va0)), n);
va0               405 kernel/vm.c        srcva = va0 + PGSIZE;
va0               417 kernel/vm.c      uint64 n, va0, pa0;
va0               421 kernel/vm.c        va0 = PGROUNDDOWN(srcva);
va0               422 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
va0               425 kernel/vm.c        n = PGSIZE - (srcva - va0);
va0               429 kernel/vm.c        char *p = (char *) (pa0 + (srcva - va0));
va0               444 kernel/vm.c        srcva = va0 + PGSIZE;