MaPTHREAD_MUTEXATTR_SETROBUST(3) - phpMan