Source position: pthrlinux.inc line 238
function pthread_mutex_destroy(
__mutex: PPTHREAD_MUTEX_T
):cint;