va0               361 vm.c             uint n, va0;
va0               365 vm.c               va0 = (uint)PGROUNDDOWN(va);
va0               366 vm.c               pa0 = uva2ka(pgdir, (char*)va0);
va0               369 vm.c               n = PGSIZE - (va - va0);
va0               372 vm.c               memmove(pa0 + (va - va0), buf, n);
va0               375 vm.c               va = va0 + PGSIZE;