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