* pthread_key_t should also be available for non-android platforms * Also change the type to c_uint because Linux pthreadtypes.h typedefs it as "unsigned int" Partially addresses #13950
* pthread_key_t should also be available for non-android platforms * Also change the type to c_uint because Linux pthreadtypes.h typedefs it as "unsigned int" Partially addresses #13950