threads_internal: add 'thread_switch_to_master()' internally
[c11tester.git] / threads_internal.h
1 #ifndef __THREADS_INTERNAL_H__
2 #define __THREADS_INTERNAL_H__
3
4 #include "libthreads.h"
5
6 int thread_switch_to_master();
7
8 #endif /* __THREADS_INTERNAL_H__ */