Symbol: dequeue_top_rt_rq