semexit
185 kern/kern_exit.c semexit(p);
semexit
218 sys/sem.h void semexit(struct proc *);