cppc_get_highest_perf
ret = cppc_get_highest_perf(cpu, &val);
EXPORT_SYMBOL_GPL(cppc_get_highest_perf);
extern int cppc_get_highest_perf(int cpunum, u64 *highest_perf);