#ifndef DEF_SCHED_H
#define DEF_SCHED_H

#include "task.h"

void sched_enqueue(thread *t);
void sched_remove(thread *t);
thread *sched_dequeue();

#endif