__dequeue_task_dl  640 kernel/sched/deadline.c static void __dequeue_task_dl(struct rq *rq, struct task_struct *p, int flags);
__dequeue_task_dl 1248 kernel/sched/deadline.c 		__dequeue_task_dl(rq, curr, 0);
__dequeue_task_dl 1547 kernel/sched/deadline.c 	__dequeue_task_dl(rq, p, flags);