srcva             381 kernel/vm.c    copyin(pagetable_t pagetable, char *dst, uint64 srcva, uint64 len)
srcva             386 kernel/vm.c        va0 = PGROUNDDOWN(srcva);
srcva             393 kernel/vm.c        n = PGSIZE - (srcva - va0);
srcva             396 kernel/vm.c        memmove(dst, (void *)(pa0 + (srcva - va0)), n);
srcva             400 kernel/vm.c        srcva = va0 + PGSIZE;
srcva             410 kernel/vm.c    copyinstr(pagetable_t pagetable, char *dst, uint64 srcva, uint64 max)
srcva             416 kernel/vm.c        va0 = PGROUNDDOWN(srcva);
srcva             420 kernel/vm.c        n = PGSIZE - (srcva - va0);
srcva             424 kernel/vm.c        char *p = (char *) (pa0 + (srcva - va0));
srcva             439 kernel/vm.c        srcva = va0 + PGSIZE;