#include <thread.h> int mutex_destroy (mutex_t *mp);
mutex_destroy() は、mp が指す mutex を削除します。mutex を格納する領域は解放されません。