uva               187 defs.h         void            clearpteu(pde_t *pgdir, char *uva);
uva               303 vm.c           clearpteu(pde_t *pgdir, char *uva)
uva               307 vm.c             pte = walkpgdir(pgdir, uva, 0);
uva               350 vm.c           uva2ka(pde_t *pgdir, char *uva)
uva               354 vm.c             pte = walkpgdir(pgdir, uva, 0);