3 int __pthread_mutex_unlock(mtx_t *);
5 int mtx_unlock(mtx_t *mtx)
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);