1#include <threads.h>
2
3int __pthread_mutex_unlock(mtx_t *);
4
5int mtx_unlock(mtx_t *mtx)
6{
7	/* The only cases where pthread_mutex_unlock can return an
8	 * error are undefined behavior for C11 mtx_unlock, so we can
9	 * assume it does not return an error and simply tail call. */
10	return __pthread_mutex_unlock(mtx);
11}
12