dequeue_pushable_task  385 kernel/sched/rt.c static void dequeue_pushable_task(struct rq *rq, struct task_struct *p)
dequeue_pushable_task  404 kernel/sched/rt.c static inline void dequeue_pushable_task(struct rq *rq, struct task_struct *p)