vmspace_exitfree
void vmspace_exitfree(struct proc *);
vmspace_exitfree(p); /* and clean-out the vmspace */