scale_freq       1230 kernel/sched/deadline.c 		unsigned long scale_freq = arch_scale_freq_capacity(cpu);
scale_freq       1233 kernel/sched/deadline.c 		scaled_delta_exec = cap_scale(delta_exec, scale_freq);