model: remove obsolete ModelChecker::do_complete_join()
[c11tester.git] / libthreads.h
1 /** @file libthreads.h
2  *  @brief Basic Thread Library Functionality.
3  */
4
5 #ifndef __LIBTHREADS_H__
6 #define __LIBTHREADS_H__
7
8 #ifdef __cplusplus
9 extern "C" {
10 #endif
11
12         typedef void (*thrd_start_t)(void *);
13
14         typedef int thrd_t;
15
16         int thrd_create(thrd_t *t, thrd_start_t start_routine, void *arg);
17         int thrd_join(thrd_t);
18         int thrd_yield(void);
19         thrd_t thrd_current(void);
20
21         void user_main(void);
22
23 #ifdef __cplusplus
24 }
25 #endif
26
27 #endif /* __LIBTHREADS_H__ */