thrd_exit.c raw

   1  #include <threads.h>
   2  #include <pthread.h>
   3  #include <stdint.h>
   4  
   5  _Noreturn void thrd_exit(int result)
   6  {
   7  	__pthread_exit((void*)(intptr_t)result);
   8  }
   9