1 #ifndef __LIBTHREADS_H__
2 #define __LIBTHREADS_H__
8 typedef int thread_id_t;
9 typedef void (*thrd_start_t)();
11 typedef thread_id_t thrd_t;
13 int thrd_create(thrd_t *t, thrd_start_t start_routine, void *arg);
14 int thrd_join(thrd_t);
16 thrd_t thrd_current(void);
18 extern void user_main(void);
24 #endif /* __LIBTHREADS_H__ */