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