1#include <threads.h> 2 3int __pthread_mutex_unlock(mtx_t *); 4 5int mtx_unlock(mtx_t *mtx) 6{ 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); 11} 12