best_energy_cpu  6365 kernel/sched/fair.c 	int cpu, best_energy_cpu = prev_cpu;
best_energy_cpu  6431 kernel/sched/fair.c 				best_energy_cpu = max_spare_cap_cpu;
best_energy_cpu  6443 kernel/sched/fair.c 		return best_energy_cpu;
best_energy_cpu  6446 kernel/sched/fair.c 		return best_energy_cpu;