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