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