cv_wait
cv_wait(pthread_cond_t *cv, pthread_mutex_t *lock) __requires_exclusive(*lock)
cv_wait(struct cv *cv, struct mtx *mtx)
#define cv_wait(cvp, lock) \