cppc_get_highest_perf
int cppc_get_highest_perf(int cpunum, u64 *highest_perf)
static inline int cppc_get_highest_perf(int cpunum, u64 *highest_perf)