cpupm_get_top_speed
plat_level = cpupm_get_top_speed(cp);
top_speed = cpupm_get_top_speed(cp);
extern int cpupm_get_top_speed(cpu_t *);