ManPTHREAD_CONDATTR_GETCLOCK(category37-sonstige.html) - phpMan