#include <threads.h>

int cnd_wait(cnd_t *cond, mtx_t *mutex)
{
	__THRD_ABI_MARK;
	/* Calling cnd_timedwait with a null pointer is an
	   extension. Such a call is convenient, here since it avoids to
	   repeat the case analysis that is already done for
	   cnd_timedwait. */
	return cnd_timedwait(cond, mutex, 0);
}