sched_getscheduler • man page