2 * @brief C11 Thread Library Functionality
12 typedef void (*thrd_start_t)(void *);
16 int thrd_create(thrd_t *t, thrd_start_t start_routine, void *arg);
17 int thrd_join(thrd_t);
18 void thrd_yield(void);
19 thrd_t thrd_current(void);
21 int user_main(int, char**);
27 #endif /* __THREADS_H__ */