ManualSCHED_GET_PRIORITY_MAX(category24-kurz-tips.html) - phpMan