rename threads.h -> threads-model.h
[c11tester.git] / libthreads.h
index a899881c3ee5185c94d3ad115ed90329e777699e..8033a12dc053fe02a223b158934722331da96e8d 100644 (file)
@@ -1,3 +1,7 @@
+/** @file libthreads.h
+ *  @brief Basic Thread Library Functionality.
+ */
+
 #ifndef __LIBTHREADS_H__
 #define __LIBTHREADS_H__
 
@@ -5,7 +9,7 @@
 extern "C" {
 #endif
 
-       typedef void (*thrd_start_t)();
+       typedef void (*thrd_start_t)(void *);
 
        typedef int thrd_t;
 
@@ -14,7 +18,7 @@ extern "C" {
        int thrd_yield(void);
        thrd_t thrd_current(void);
 
-       void user_main(void);
+       int user_main(int, char**);
 
 #ifdef __cplusplus
 }