| 1 | #include <threads.h> |
| 2 | #include <pthread.h> |
| 3 | |
| 4 | int 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 | } |