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