dequeue_rt_stack 1304 kernel/sched/rt.c 	dequeue_rt_stack(rt_se, flags);
dequeue_rt_stack 1314 kernel/sched/rt.c 	dequeue_rt_stack(rt_se, flags);