|
|
| version 1.33, 2004/03/30 19:14:11 | version 1.34, 2004/05/13 17:40:15 |
|---|---|
| Line 200 exit1(int rv) | Line 200 exit1(int rv) |
| */ | */ |
| semexit(p); | semexit(p); |
| KKASSERT(p->p_numposixlocks == 0); | |
| /* The next two chunks should probably be moved to vmspace_exit. */ | /* The next two chunks should probably be moved to vmspace_exit. */ |
| vm = p->p_vmspace; | vm = p->p_vmspace; |