thread_queue
thread_enqueue(struct thread *t, struct thread_queue *q)
thread_queue dead_q;
extern struct thread_queue dead_q;
void thread_enqueue(struct thread *t, struct thread_queue *q);