uvmclear          164 kernel/defs.h  void            uvmclear(pagetable_t, uint64);
uvmclear           92 kernel/exec.c    uvmclear(pagetable, sz-(USERSTACK+1)*PGSIZE);