} pthread_user_data_internal_t;
pthread_user_data_internal_t* pthread_user_data_internal(pthread_t thread);
+int pthread_user_data_lock();
+int pthread_user_data_unlock();
#endif //__PTHREAD_EXTRA_INTERNAL
void** pthread_user_data_ptr(pthread_t thread);
void pthread_unpause_handler();
void pthread_pause_handler();
void pthread_pause_enable();
+void pthread_pause_disable();
int pthread_pause(pthread_t thread);
int pthread_unpause(pthread_t thread);
int pthread_pause_reschedule(pthread_t thread);