Function push_thread

src/lib/thread.c:65–68

}

static inline void push_thread(struct list_node *head, struct thread *t)
{
	list_append(&t->list_node, head);
}

static inline void push_runnable(struct thread *t)
{