| 398 | } |
| 399 | |
| 400 | void |
| 401 | vmspace_exitfree(struct proc *p) |
| 402 | { |
| 403 | struct vmspace *vm; |
| 404 | |
| 405 | PROC_VMSPACE_LOCK(p); |
| 406 | vm = p->p_vmspace; |
| 407 | p->p_vmspace = NULL; |
| 408 | PROC_VMSPACE_UNLOCK(p); |
| 409 | KASSERT(vm == &vmspace0, ("vmspace_exitfree: wrong vmspace")); |
| 410 | vmspace_free(vm); |
| 411 | } |
| 412 | |
| 413 | void |
| 414 | vmspace_exit(struct thread *td) |
no test coverage detected