int pthread_mutex_destroy(pthread_mutex_t *mp)