scaled_delta_exec 1183 kernel/sched/deadline.c 	u64 delta_exec, scaled_delta_exec;
scaled_delta_exec 1226 kernel/sched/deadline.c 		scaled_delta_exec = grub_reclaim(delta_exec,
scaled_delta_exec 1233 kernel/sched/deadline.c 		scaled_delta_exec = cap_scale(delta_exec, scale_freq);
scaled_delta_exec 1234 kernel/sched/deadline.c 		scaled_delta_exec = cap_scale(scaled_delta_exec, scale_cpu);
scaled_delta_exec 1237 kernel/sched/deadline.c 	dl_se->runtime -= scaled_delta_exec;