__setscheduler 5228 kernel/sched.c __setscheduler(rq, p, policy, param->sched_priority); __setscheduler 6222 kernel/sched.c __setscheduler(rq, p, SCHED_FIFO, MAX_RT_PRIO-1); __setscheduler 6509 kernel/sched.c __setscheduler(rq, p, SCHED_FIFO, MAX_RT_PRIO-1); __setscheduler 6554 kernel/sched.c __setscheduler(rq, rq->idle, SCHED_NORMAL, 0); __setscheduler 8357 kernel/sched.c __setscheduler(rq, p, SCHED_NORMAL, 0);