#include <sys/condvar.h>void
cv_init(kcondvar_t *cv, const char *wmesg);
void
cv_destroy(kcondvar_t *cv);
void
cv_wait(kcondvar_t *cv, kmutex_t *mtx);
int
cv_wait_sig(kcondvar_t *cv, kmutex_t *mtx);
int
cv_timedwait(kcondvar_t *cv, kmutex_t *mtx, int ticks);
int
cv_timedwait_sig(kcondvar_t *cv, kmutex_t *mtx, int ticks);
void
cv_signal(kcondvar_t *cv);
void
cv_broadcast(kcondvar_t *cv);
bool
cv_has_waiters(kcondvar_t *cv);
options DIAGNOSTIC
options LOCKDEBUG