static void _Thread_queue_Priority_extract( Thread_queue_Queue *queue, Thread_Control *the_thread ) { _Thread_queue_Queue_extract( queue, the_thread, _Thread_queue_Priority_do_extract ); }
static void _Thread_queue_FIFO_extract( Thread_queue_Queue *queue, Thread_Control *the_thread ) { _Thread_queue_Queue_extract( queue, queue->heads, the_thread, _Thread_queue_FIFO_do_extract ); }
static Thread_Control *_Thread_queue_Priority_surrender( Thread_queue_Queue *queue, Thread_queue_Heads *heads, Thread_Control *previous_owner ) { Thread_Control *first; first = _Thread_queue_Priority_first( heads ); _Thread_queue_Queue_extract( queue, heads, first, _Thread_queue_Priority_do_extract ); return first; }