r0 = getpid() sched_getscheduler(r0)