3 * @brief C11 pthread.h interface header
12 /* pthread mutex types
16 PTHREAD_MUTEX_RECURSIVE
17 PTHREAD_MUTEX_ERRORCHECK
21 typedef void *(*pthread_start_t)(void *);
23 struct pthread_params {
30 /* Scheduler parameters and priority. */
31 struct sched_param schedparam;
33 /* Various flags like detachstate, scope, etc. */
35 /* Size of guard area. */
46 int user_main(int, char**);