void Thread_Exit(void * result) { pthread_t pthread = pthread_self(); Thread t = *MyOs_FindThreadEntry(FindPosixThread, pthread); t->result = result; pthread_exit(result); }
void Thread_Exit(void * result) { AcmeThread acmeThread = AcmeThread_currentThread(); Thread t = *MyOs_FindThreadEntry(FindAcmeThread, acmeThread); t->result = result; AcmeThread_exit(0); }