| #include <threads.h> | |
| int __pthread_mutex_unlock(mtx_t*); | |
| int mtx_unlock(mtx_t* mtx) { | |
| /* The only cases where pthread_mutex_unlock can return an | |
| * error are undefined behavior for C11 mtx_unlock, so we can | |
| * assume it does not return an error and simply tail call. */ | |
| return __pthread_mutex_unlock(mtx); | |
| } |