pa0               361 kernel/vm.c      uint64 n, va0, pa0;
pa0               372 kernel/vm.c        pa0 = PTE2PA(*pte);
pa0               376 kernel/vm.c        memmove((void *)(pa0 + (dstva - va0)), src, n);
pa0               391 kernel/vm.c      uint64 n, va0, pa0;
pa0               395 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
pa0               396 kernel/vm.c        if(pa0 == 0)
pa0               401 kernel/vm.c        memmove(dst, (void *)(pa0 + (srcva - va0)), n);
pa0               417 kernel/vm.c      uint64 n, va0, pa0;
pa0               422 kernel/vm.c        pa0 = walkaddr(pagetable, va0);
pa0               423 kernel/vm.c        if(pa0 == 0)
pa0               429 kernel/vm.c        char *p = (char *) (pa0 + (srcva - va0));