3 #include "libthreads.h"
8 void DefaultScheduler::add_thread(struct thread *t)
10 DEBUG("thread %d\n", t->id);
14 struct thread *DefaultScheduler::next_thread(void)
19 current = queue.front();
25 struct thread *DefaultScheduler::get_current_thread(void)