push_rt_tasks 1273 kernel/sched_rt.c push_rt_tasks(rq); push_rt_tasks 1287 kernel/sched_rt.c push_rt_tasks(rq);