Source position: pthrlinux.inc line 241
function pthread_mutex_unlock(
__mutex: PPTHREAD_MUTEX_T
):cint;