dstva             343 kernel/vm.c    copyout(pagetable_t pagetable, uint64 dstva, char *src, uint64 len)
dstva             349 kernel/vm.c        va0 = PGROUNDDOWN(dstva);
dstva             365 kernel/vm.c        n = PGSIZE - (dstva - va0);
dstva             368 kernel/vm.c        memmove((void *)(pa0 + (dstva - va0)), src, n);
dstva             372 kernel/vm.c        dstva = va0 + PGSIZE;