src/kernel/task/sched.h


1
2
3
4
5
6
7
8
9

#ifndef DEF_SCHED_H
#define DEF_SCHED_H

#include "task.h"

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

#endif