int pthread_barrier_destroy(pthread_barrier_t *b)
{
if (b->_b_limit < 0) {
- int seq = b->_b_seq;
- if (seq & 1) __wait(&b->_b_seq, 0, seq, 0);
+ if (b->_b_lock) {
+ int v;
+ a_or(&b->_b_lock, INT_MIN);
+ while ((v = b->_b_lock) & INT_MAX)
+ __wait(&b->_b_lock, 0, v, 0);
+ }
__vm_lock(-1);
__vm_unlock();
}