1#include "pthread_impl.h"
 2
 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}