486 	unsigned int min_cap, max_cap;  in get_perf_level_count()  local
492 	max_cap = arch_scale_cpu_capacity(cpu);  in get_perf_level_count()
493 	min_cap = div_u64((u64)max_cap * perf_caps->lowest_perf,  in get_perf_level_count()
495 	if ((min_cap == 0) || (max_cap < min_cap))  in get_perf_level_count()
497 	return 1 + max_cap / CPPC_EM_CAP_STEP - min_cap / CPPC_EM_CAP_STEP;  in get_perf_level_count()
516 	unsigned int min_cap, max_cap;  in cppc_get_cpu_power()  local
525 	max_cap = arch_scale_cpu_capacity(cpu_dev->id);  in cppc_get_cpu_power()
526 	min_cap = div_u64((u64)max_cap * perf_caps->lowest_perf,  in cppc_get_cpu_power()
529 			    max_cap);  in cppc_get_cpu_power()
531 	max_step = max_cap / CPPC_EM_CAP_STEP;  in cppc_get_cpu_power()
586 	unsigned int max_cap;  in cppc_get_cpu_cost()  local
592 	max_cap = arch_scale_cpu_capacity(cpu_dev->id);  in cppc_get_cpu_cost()
595 	perf_step = CPPC_EM_CAP_STEP * perf_caps->highest_perf / max_cap;  in cppc_get_cpu_cost()