Searched refs:thread_dequeue (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/lib/barrelfish/include/
H A Dthreads_priv.h86 struct thread *thread_dequeue(struct thread **queue);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dthreads.c155 struct thread *thread_dequeue(struct thread **queue) function
1013 struct thread *wakeup = thread_dequeue(queue);
H A Ddomain.c402 thread = thread_dequeue(&domain_state->remote_wakeup_queue);

Completed in 101 milliseconds