const char *thread_name (struct thread *);
struct thread *thread_current (void);
void thread_exit (void) NO_RETURN;
void thread_yield (void);
const char *thread_name (struct thread *);
struct thread *thread_current (void);
void thread_exit (void) NO_RETURN;
void thread_yield (void);