uva2ka            177 defs.h         char*           uva2ka(pde_t*, char*);
uva2ka            374 vm.c               pa0 = uva2ka(pgdir, (char*)va0);