deadline_queue_push_tasks 1762 kernel/sched/deadline.c 	deadline_queue_push_tasks(rq);
deadline_queue_push_tasks 2389 kernel/sched/deadline.c 			deadline_queue_push_tasks(rq);