ManPTHREAD_MUTEXATTR_DESTROY(category16-debian.html) - phpMan