Source position: pthrlinux.inc line 243
function pthread_mutexattr_destroy(
__attr: PPTHREAD_MUTEXATTR_T
):cint;