uva               180 defs.h         void            clearpteu(pde_t *pgdir, char *uva);
uva               297 vm.c           clearpteu(pde_t *pgdir, char *uva)
uva               301 vm.c             pte = walkpgdir(pgdir, uva, 0);
uva               342 vm.c           uva2ka(pde_t *pgdir, char *uva)
uva               346 vm.c             pte = walkpgdir(pgdir, uva, 0);