ia64/xen-unstable

diff extras/mini-os/include/sched.h @ 16732:b18f70656fdb

minios: Add exit_thread prototype. Make sure exit_thread doesn't
return by accident.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Thu Jan 17 14:40:06 2008 +0000 (2008-01-17)
parents d46265d21dc5
children 945820bfedb6
line diff
     1.1 --- a/extras/mini-os/include/sched.h	Thu Jan 17 14:39:45 2008 +0000
     1.2 +++ b/extras/mini-os/include/sched.h	Thu Jan 17 14:40:06 2008 +0000
     1.3 @@ -39,6 +39,7 @@ struct thread* arch_create_thread(char *
     1.4  void init_sched(void);
     1.5  void run_idle_thread(void);
     1.6  struct thread* create_thread(char *name, void (*function)(void *), void *data);
     1.7 +void exit_thread(void) __attribute__((noreturn));
     1.8  void schedule(void);
     1.9  
    1.10  #define current get_current()