libthreads.h

   1 #ifndef __LIBTHREADS_H__
   2 #define __LIBTHREADS_H__
   3
   4 typedef int thread_id_t;
   5 typedef void (*thrd_start_t)();
   6
   7 typedef thread_id_t thrd_t;
   8
   9 int thrd_create(thrd_t *t, thrd_start_t start_routine, void *arg);
  10 int thrd_join(thrd_t);
  11 int thrd_yield(void);
  12 thrd_t thrd_current(void);
  13
  14 extern void user_main(void);
  15
  16 #endif /* __LIBTHREADS_H__ */