#include <thread.h> int mutex_destroy (mutex_t *mp);
Use mutex_destroy(3THR) to destroy any state associated with the mutex pointed to by mp. Note that the space for storing the mutex is not freed. (For POSIX threads, see pthread_mutex_destroy(3THR).)