};
void thread_init (void);
-void thread_start (void) NO_RETURN;
+void thread_start (void);
-struct thread *thread_create (const char *name, void (*) (void *aux), void *);
+typedef void thread_func (void *aux);
+struct thread *thread_create (const char *name, thread_func *, void *);
#ifdef USERPROG
bool thread_execute (const char *filename);
#endif
-void thread_wake (struct thread *);
+void thread_unblock (struct thread *);
const char *thread_name (struct thread *);
struct thread *thread_current (void);
void thread_exit (void) NO_RETURN;
void thread_yield (void);
-void thread_sleep (void);
+void thread_block (void);
#endif /* thread.h */