diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/fbos/sched.h | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/include/fbos/sched.h b/include/fbos/sched.h index c2a4b19..e05d0a1 100644 --- a/include/fbos/sched.h +++ b/include/fbos/sched.h @@ -23,10 +23,7 @@ struct task_struct { // Tasks available on this kernel. extern struct task_struct tasks[4]; -// Identifier for the next task to be run. -extern int next_task; - -// Bring the machine to idle mode. -__noreturn __kernel void idle(void); +// Switch execution to the given task id. +void switch_to(int task_id); #endif // __FBOS_SCHED_H_ |