__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);