clearpteu         187 defs.h         void            clearpteu(pde_t *pgdir, char *uva);
clearpteu          68 exec.c           clearpteu(pgdir, (char*)(sz - 2*PGSIZE));