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