#include <threads.h>
-
-int __pthread_mutex_unlock(mtx_t *);
+#include <pthread.h>
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);
+ return __pthread_mutex_unlock((pthread_mutex_t *)mtx);
}