schedule.h

   1 #ifndef __SCHEDULE_H__
   2 #define __SCHEDULE_H__
   3
   4 #include "libthreads.h"
   5
   6 void schedule_add_thread(struct thread *t);
   7 int schedule_choose_next(struct thread **t);
   8
   9 #endif /* __SCHEDULE_H__ */