Kalisto: src/sched.h Source File

00001 
00022 #ifndef _SCHED_H_
00023 #define _SCHED_H_
00024 
00025 #include "thread.h"
00026 #include "tqueue.h"
00027 
00028 void init_scheduler (); 
00029 void runnable (struct thread_struct *t);
00030 void disabled (struct thread_struct *t);
00031 
00032 void context_switch (struct thread_struct *t);
00033 void schedule (void);
00034 
00035 extern thread_queue_t runnable_threads;
00036 extern thread_queue_t sleeping_threads;
00037 extern thread_queue_t zombies_to_kill_threads;
00038 extern thread_queue_t valid_threads;
00039 
00040 #endif /* _SCHED_H_ */