HIGHEST_PERF
return cppc_get_reg_val(cpunum, HIGHEST_PERF, highest_perf);
highest_reg = &cpc_desc->cpc_regs[HIGHEST_PERF];
[HIGHEST_PERF] = "highest_perf",