1 #include <pthread.h> 2 pthread_mutex_destroy(pthread_mutex_t * mutex)3 int pthread_mutex_destroy(pthread_mutex_t *mutex) 4 { 5 return 0; 6 } 7