#ifndef DEF_SCHED_H #define DEF_SCHED_H #include "task.h" #define PRIORITIES 3 // we have 3 priority levels #define TP_LOW 2 #define TP_MED 1 #define TP_HIGH 0 void sched_enqueue(thread *t, int priority); void sched_remove(thread *t); thread *sched_dequeue(); #endif