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);