push_dl_task      501 kernel/sched/deadline.c static int push_dl_task(struct rq *rq);
push_dl_task     1068 kernel/sched/deadline.c 		push_dl_task(rq);
push_dl_task     2130 kernel/sched/deadline.c 	while (push_dl_task(rq))