cv_wait           136 kern/include/synch.h void cv_wait(struct cv *cv, struct lock *lock);
cv_wait           274 kern/test/synchtest.c 			cv_wait(testcv, testlock);