bool thread_execute (const char *filename);
#endif
-void thread_start (struct thread *);
+void thread_start (struct thread *) NO_RETURN;
void thread_ready (struct thread *);
void thread_exit (void) NO_RETURN;
void thread_yield (void);
void thread_sleep (void);
-void thread_schedule (void);
void thread_self_test (void);