wchan_destroy      50 kern/include/wchan.h void wchan_destroy(struct wchan *wc);
wchan_destroy      85 kern/thread/synch.c 	wchan_destroy(sem->sem_wchan);