#include "pthread_impl.h"
#include <threads.h>

void (mtx_destroy)(mtx_t *mut) {
	/* Critical section protected by lock */
	__lock(&mut->_mx_lock);
	__mtx_t * ret = mut->_mx_mtx;
	mut->_mx_mtx = 0;
	__unlock(&mut->_mx_lock);
	if (ret) __mtx_unref(ret);
}