#include"pthread_impl.h"intpthread_mutex_destroy(pthread_mutex_t*mutex){/* If the mutex being destroyed is process-shared and has nontrivial * type (tracking ownership), it might be in the pending slot of a * robust_list; wait for quiescence. */if(mutex->_m_type>128)__vm_wait();return0;}#ifdef TESTintmain(void){return0;}#endif