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