Searched refs:__wait (Results 1 - 15 of 15) sorted by relevance

/seL4-refos-master/libs/libmuslc/src/stdio/
H A Dflockfile.c8 if (owner) __wait(&f->lock, &f->waiters, owner, 1);
H A D__lockfile.c10 __wait(&f->lock, &f->waiters, owner, 1);
/seL4-refos-master/libs/libmuslc/src/thread/
H A D__lock.c6 while (a_swap(l, 1)) __wait(l, l+1, 1, 1);
H A Dvmlock.c9 __wait(vmlock, vmlock+1, tmp, 1);
H A Dpthread_barrier_destroy.c10 __wait(&b->_b_lock, 0, v, 0);
H A Dpthread_cond_destroy.c11 __wait(&c->_c_waiters, 0, cnt, 0);
H A D__wait.c3 void __wait(volatile int *addr, volatile int *waiters, int val, int priv) function
H A Dpthread_once.c29 /* If this fails, so will __wait. */
32 __wait(control, 0, 3, 1);
H A Dpthread_barrier_wait.c12 __wait(&b->_b_lock, &b->_b_waiters, v, 0);
23 __wait(&b->_b_count, &b->_b_waiters2, v, 0);
34 __wait(&b->_b_count, &b->_b_waiters2, v, 0);
73 __wait(&b->_b_lock, &b->_b_waiters, 1, 1);
103 __wait(&inst->last, &inst->waiters, 0, 1);
H A Dpthread_cond_timedwait.c42 do __wait(l, 0, 2, 1);
206 while ((cur = ref)) __wait(&ref, 0, cur, 1);
H A Dpthread_create.c135 __wait(self->startlock, 0, 1, 1);
214 if (__block_new_threads) __wait(&__block_new_threads, 0, 1, 1);
/seL4-refos-master/libs/libmuslc/src/internal/
H A Dpthread_impl.h127 void __wait(volatile int *, volatile int *, int, int);
/seL4-refos-master/libs/libmuslc/src/time/
H A Dtimer_create.c75 __wait(&self->timer_id, 0, id, 1);
/seL4-refos-master/libs/libmuslc/src/aio/
H A Daio.c356 __wait(&p->running, 0, -1, 1);
/seL4-refos-master/libs/libmuslc/src/malloc/
H A Dmalloc.c74 while(a_swap(lk, 1)) __wait(lk, lk+1, 1, 1);

Completed in 201 milliseconds