1 #include "pthread_impl.h"
2 
pthread_mutex_destroy(pthread_mutex_t * mutex)3 int 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