dequeue_top_rt_rq
dequeue_top_rt_rq(rt_rq_of_se(back), rt_nr_running);
static void dequeue_top_rt_rq(struct rt_rq *rt_rq, unsigned int count);
dequeue_top_rt_rq(rt_rq, rt_rq->rt_nr_running);
dequeue_top_rt_rq(rt_rq, rt_rq->rt_nr_running);