dstva             359 kernel/vm.c    copyout(pagetable_t pagetable, uint64 dstva, char *src, uint64 len)
dstva             365 kernel/vm.c        va0 = PGROUNDDOWN(dstva);
dstva             373 kernel/vm.c        n = PGSIZE - (dstva - va0);
dstva             376 kernel/vm.c        memmove((void *)(pa0 + (dstva - va0)), src, n);
dstva             380 kernel/vm.c        dstva = va0 + PGSIZE;