Symbol: dequeue_rt_stack
kernel/sched/rt.c
1404
dequeue_rt_stack(rt_se, flags);
kernel/sched/rt.c
1416
dequeue_rt_stack(rt_se, flags);