dstva             345 kernel/vm.c    copyout(pagetable_t pagetable, uint64 psz, uint64 dstva, char *src, uint64 len)
dstva             351 kernel/vm.c        va0 = PGROUNDDOWN(dstva);
dstva             367 kernel/vm.c        n = PGSIZE - (dstva - va0);
dstva             370 kernel/vm.c        memmove((void *)(pa0 + (dstva - va0)), src, n);
dstva             374 kernel/vm.c        dstva = va0 + PGSIZE;