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