librace: format DEBUG() prints properly
[c11tester.git] / libthreads.h
1 #ifndef __LIBTHREADS_H__
2 #define __LIBTHREADS_H__
3
4 #ifdef __cplusplus
5 extern "C" {
6 #endif
7
8         typedef int thread_id_t;
9         typedef void (*thrd_start_t)();
10
11         typedef thread_id_t thrd_t;
12
13         int thrd_create(thrd_t *t, thrd_start_t start_routine, void *arg);
14         int thrd_join(thrd_t);
15         int thrd_yield(void);
16         thrd_t thrd_current(void);
17
18         void user_main(void);
19
20 #ifdef __cplusplus
21 }
22 #endif
23
24 #endif /* __LIBTHREADS_H__ */