1 #ifndef __LIBTHREADS_H__
2 #define __LIBTHREADS_H__
4 typedef int thread_id_t;
5 typedef void (*thrd_start_t)();
7 typedef thread_id_t thrd_t;
9 int thrd_create(thrd_t *t, thrd_start_t start_routine, void *arg);
10 int thrd_join(thrd_t);
12 thrd_t thrd_current(void);
14 extern void user_main(void);
16 #endif /* __LIBTHREADS_H__ */