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

int __pthread_mutex_timedlock(pthread_mutex_t *restrict m, const struct timespec *restrict ts);

int mtx_timedlock(mtx_t *restrict mutex, const struct timespec *restrict ts) {
	/* In the best of all worlds this is a tail call. */
	int ret = __pthread_mutex_timedlock(mutex, ts);
	switch (ret) {
	/* May also return EINVAL, EPERM, EDEADLK or EAGAIN. EAGAIN is
	   specially tricky since C11 doesn't define how many recursive
	   calls can be done. (this *isn't* the maximum amount of nested
	   calls!) This implementation here deals this with a counter and
	   detects overflow, so this is definitively UB. */
	default:        return thrd_error;
	case 0:         return thrd_success;
	case ETIMEDOUT: return thrd_timedout;
	}
}