Symbol: dequeue_rt_stack
kernel/sched/rt.c
1409
dequeue_rt_stack(rt_se, flags);
kernel/sched/rt.c
1421
dequeue_rt_stack(rt_se, flags);