+pthread_mutex_t pthread_user_data_mutex = PTHREAD_MUTEX_INITIALIZER;
+
+int pthread_user_data_lock() {
+ pthread_pause_disable();
+ return pthread_mutex_lock(&pthread_user_data_mutex);
+}
+
+int pthread_user_data_unlock() {
+ pthread_mutex_unlock(&pthread_user_data_mutex);
+ pthread_pause_enable();
+ return 0;
+}