src/thread/pthread_mutex_destroy.c

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