dequeue_top_rt_rq  433 kernel/sched/rt.c static void dequeue_top_rt_rq(struct rt_rq *rt_rq);
dequeue_top_rt_rq  515 kernel/sched/rt.c 		dequeue_top_rt_rq(rt_rq);
dequeue_top_rt_rq  601 kernel/sched/rt.c 	dequeue_top_rt_rq(rt_rq);
dequeue_top_rt_rq 1292 kernel/sched/rt.c 	dequeue_top_rt_rq(rt_rq_of_se(back));