libthreads: split into libthreads and threads
[c11tester.git] / threads_internal.h
index 2f17f57f2091d0870eeafd40a71bcdc5344036ea..bdef9a5240ea16d0ad0be80aaff3ba1d7d9bf0d0 100644 (file)
@@ -40,4 +40,9 @@ private:
 
 Thread *thread_current();
 
+static inline thread_id_t thrd_to_id(thrd_t t)
+{
+       return t;
+}
+
 #endif /* __THREADS_INTERNAL_H__ */