cv_broadcast      138 kern/include/synch.h void cv_broadcast(struct cv *cv, struct lock *lock);
cv_broadcast      304 kern/test/synchtest.c 		cv_broadcast(testcv, testlock);