diff options
Diffstat (limited to 'kernel/sched/include/sched/sched.h')
| -rw-r--r-- | kernel/sched/include/sched/sched.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/kernel/sched/include/sched/sched.h b/kernel/sched/include/sched/sched.h index d63b78c..a7f45ee 100644 --- a/kernel/sched/include/sched/sched.h +++ b/kernel/sched/include/sched/sched.h @@ -36,7 +36,7 @@ struct tcb_t { * Note: for a task to be scheduled, it must first be spawned (see spawn()). */ #define DECLARE_TASK(name, stack_size, entry_function) \ - static char volatile declared_stack_##name[stack_size]; \ + static char declared_stack_##name[stack_size]; \ static struct tcb_t name = { \ .sp = 0, \ .mem_low = declared_stack_##name, \ @@ -86,6 +86,11 @@ static inline void wake_all(struct list_head* queue) { */ void sched_init(); +/** + * Enters the scheduler, setting current to the next runnable task. + */ +void schedule(); + /** * Ticks the scheduler. */ @@ -93,11 +98,6 @@ inline void sched_tick() { schedule(); //in a round-robin scheduler, scheduling is called after every tick } -/** - * Enters the scheduler, setting current to the next runnable task. - */ -void schedule(); - /** * Initializes a given task and adds it to the ready queue. */ |