cv                121 kern/include/synch.h void cv_destroy(struct cv *);
cv                136 kern/include/synch.h void cv_wait(struct cv *cv, struct lock *lock);
cv                137 kern/include/synch.h void cv_signal(struct cv *cv, struct lock *lock);
cv                138 kern/include/synch.h void cv_broadcast(struct cv *cv, struct lock *lock);
cv                235 kern/thread/synch.c cv_destroy(struct cv *cv)
cv                246 kern/thread/synch.c cv_wait(struct cv *cv, struct lock *lock)
cv                254 kern/thread/synch.c cv_signal(struct cv *cv, struct lock *lock)
cv                262 kern/thread/synch.c cv_broadcast(struct cv *cv, struct lock *lock)