diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2014-01-25 01:22:40 +0100 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2014-01-25 01:22:40 +0100 |
| commit | 06c4f980e915c2ec6c685ca2ba8781b9af547239 (patch) | |
| tree | 94634dc4798809e0fa6180ed44e655afcab5b1a3 /kernel/sched/include/sched/sched.h | |
| parent | 9a10159e96a13585f9040ac5b15a3520f3d93ec8 (diff) | |
| download | mux-06c4f980e915c2ec6c685ca2ba8781b9af547239.tar.gz mux-06c4f980e915c2ec6c685ca2ba8781b9af547239.tar.bz2 mux-06c4f980e915c2ec6c685ca2ba8781b9af547239.zip | |
fix freezing
Diffstat (limited to 'kernel/sched/include/sched/sched.h')
| -rw-r--r-- | kernel/sched/include/sched/sched.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/kernel/sched/include/sched/sched.h b/kernel/sched/include/sched/sched.h index a7f45ee..5e45328 100644 --- a/kernel/sched/include/sched/sched.h +++ b/kernel/sched/include/sched/sched.h @@ -76,9 +76,7 @@ static inline void sleep_on(struct list_head* queue) { * Wakes all tasks waiting in the given queue. * This moves all tasks contained in the queue to the ready queue. */ -static inline void wake_all(struct list_head* queue) { - list_splice_init(queue, ready.prev); -} +void wake_all(struct list_head* queue); /** * Initializes the scheduler by setting up kstack, initializing the idle task @@ -108,9 +106,6 @@ void spawn(struct tcb_t* const tcb, char args); */ void yield() __attribute__ ( ( naked ) ); -void freeze() __attribute__ ( ( naked ) ); - - #define ENTER_CRITICAL() cli() #define EXIT_CRITICAL() sei() |