dequeue_rt_stack 690 kernel/sched_rt.c dequeue_rt_stack(rt_se); dequeue_rt_stack 697 kernel/sched_rt.c dequeue_rt_stack(rt_se);