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

void cnd_destroy(cnd_t *cond)
{
	/* Critical section protected by lock */
	__lock(&cond->_cx_lock);
	__cnd_t * ret = cond->_cx_cnd;
	cond->_cx_cnd = 0;
	__unlock(&cond->_cx_lock);

	if (ret) __cnd_unref(ret);
}