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