#include <thread.h> int mutex_destroy (mutex_t *mp);
mutex_destroy(3T) は、mp が指す mutex を削除します。mutex を格納する領域は解放されません。(POSIX スレッドについては、「pthread_mutex_destroy(3T)」を参照)