1 #include <threads.h> 2 #include <pthread.h> 3 mtx_unlock(mtx_t * mtx)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 } 11