kernel/sched/deadline.c

1401 s64 dl_scaled_delta_exec(struct rq *rq, struct sched_dl_entity *dl_se, s64 delta_exec)
1413 		scaled_delta_exec = grub_reclaim(delta_exec, rq, dl_se);
1419 		scaled_delta_exec = cap_scale(delta_exec, scale_freq);
1429 static void update_curr_dl_se(struct rq *rq, struct sched_dl_entity *dl_se, s64 delta_exec)
1433 	if (unlikely(delta_exec <= 0)) {
1445 	scaled_delta_exec = delta_exec;
1447 		scaled_delta_exec = dl_scaled_delta_exec(rq, dl_se, delta_exec);
1538 			rt_rq->rt_time += delta_exec;
1554 	s64 delta_exec;
1563 	delta_exec = rq_clock_task(rq) - p->se.exec_start;
1564 	if (delta_exec < 0)
1567 	rq->fair_server.runtime -= delta_exec;
1577 void dl_server_update(struct sched_dl_entity *dl_se, s64 delta_exec)
1582 		update_curr_dl_se(dl_se->rq, dl_se, delta_exec);
1726 	s64 delta_exec;
1739 	delta_exec = update_curr_common(rq);
1740 	update_curr_dl_se(rq, dl_se, delta_exec);