sem_destroy       423 kern/dev/generic/console.c 		sem_destroy(rsem);
sem_destroy       428 kern/dev/generic/console.c 		sem_destroy(rsem);
sem_destroy       429 kern/dev/generic/console.c 		sem_destroy(wsem);
sem_destroy       435 kern/dev/generic/console.c 		sem_destroy(rsem);
sem_destroy       436 kern/dev/generic/console.c 		sem_destroy(wsem);
sem_destroy       299 kern/dev/lamebus/lhd.c 		sem_destroy(lh->lh_clear);
sem_destroy        54 kern/include/synch.h void sem_destroy(struct semaphore *);
sem_destroy       195 kern/synchprobs/catmouse.c     sem_destroy( mutex );
sem_destroy       199 kern/synchprobs/catmouse.c     sem_destroy( perf_mutex );
sem_destroy       699 kern/synchprobs/catmouse.c   sem_destroy(CatMouseWait);
sem_destroy        60 kern/synchprobs/catmouse_synch.c   sem_destroy(globalCatMouseSem);
sem_destroy       135 kern/test/malloctest.c 	sem_destroy(sem);
sem_destroy        67 kern/test/synchtest.c 	sem_destroy(testsem);
sem_destroy        70 kern/test/synchtest.c 	sem_destroy(donesem);
sem_destroy        33 kern/test/uw-tests.c 	sem_destroy(donesem);
sem_destroy       425 kern/thread/thread.c 	sem_destroy(cpu_startup_sem);