int pthread_cond_destroy(pthread_cond_t *c)
{
+ int priv = c->_c_mutex != (void *)-1;
+ int cnt;
+ c->_c_destroy = 1;
+ if (c->_c_waiters)
+ __wake(&c->_c_seq, -1, priv);
+ while ((cnt = c->_c_waiters))
+ __wait(&c->_c_waiters, 0, cnt, priv);
return 0;
}