cv_destroy        121 kern/include/synch.h void cv_destroy(struct cv *);
cv_destroy         69 kern/test/synchtest.c 	cv_destroy(testcv);