pa0 368 vm.c char *buf, *pa0; pa0 374 vm.c pa0 = uva2ka(pgdir, (char*)va0); pa0 375 vm.c if(pa0 == 0) pa0 380 vm.c memmove(pa0 + (va - va0), buf, n);