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

int __mtx_lock(__mtx_t *mut)
{
	return __mtx_timedlock(mut, 0);
}

int mtx_lock(mtx_t *mut)
{
	__THRD_ABI_MARK;
	return mtx_timedlock(mut, 0);
}