diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-01-17 14:40:06 +0000 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-01-17 14:40:06 +0000 |
commit | 41888d5a7ee1e1782c92dc186e5c5d1c0073deee (patch) | |
tree | 77958654d2b72b439290f7e4e51bd45cd2cfa024 /extras/mini-os/sched.c | |
parent | cb4baf13a2a271208f20c87457242292ff3a0aba (diff) | |
download | xen-41888d5a7ee1e1782c92dc186e5c5d1c0073deee.tar.gz xen-41888d5a7ee1e1782c92dc186e5c5d1c0073deee.tar.bz2 xen-41888d5a7ee1e1782c92dc186e5c5d1c0073deee.zip |
minios: Add exit_thread prototype. Make sure exit_thread doesn't
return by accident.
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/sched.c')
-rw-r--r-- | extras/mini-os/sched.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/extras/mini-os/sched.c b/extras/mini-os/sched.c index eedb1fe7ed..0b613e64d4 100644 --- a/extras/mini-os/sched.c +++ b/extras/mini-os/sched.c @@ -198,7 +198,11 @@ void exit_thread(void) list_add(&thread->thread_list, &exited_threads); local_irq_restore(flags); /* Schedule will free the resources */ - schedule(); + while(1) + { + schedule(); + printk("schedule() returned! Trying again\n"); + } } void block(struct thread *thread) |