C_Binding

   #include <pthread.h>

   int
   pthread_mutex_destroy (
            pthread_mutex_t   *mutex);