3 * @brief C11 pthread.h interface header
12 typedef void *(*pthread_start_t)(void *);
14 struct pthread_params {
21 /* Scheduler parameters and priority. */
22 struct sched_param schedparam;
24 /* Various flags like detachstate, scope, etc. */
26 /* Size of guard area. */
37 int user_main(int, char**);