tid_t tid; /* Thread identifier. */
enum thread_status status; /* Thread state. */
char name[16]; /* Name (for debugging purposes). */
tid_t tid; /* Thread identifier. */
enum thread_status status; /* Thread state. */
char name[16]; /* Name (for debugging purposes). */
typedef void thread_func (void *aux);
tid_t thread_create (const char *name, int priority, thread_func *, void *);
typedef void thread_func (void *aux);
tid_t thread_create (const char *name, int priority, thread_func *, void *);