MaPTHREAD_MUTEXATTR_SETROBUST(poll.html) - phpMan