1 #include "pthread_impl.h" 2 pthread_mutex_destroy(pthread_mutex_t * mutex)3int pthread_mutex_destroy(pthread_mutex_t *mutex) 4 { 5 /* If the mutex being destroyed is process-shared and has nontrivial 6 * type (tracking ownership), it might be in the pending slot of a 7 * robust_list; wait for quiescence. */ 8 if (mutex->_m_type > 128) __vm_wait(); 9 return 0; 10 } 11