ppm_alloc_pstate_domains
cpupm_ppm_alloc_pstate_domains = ppm_alloc_pstate_domains;
extern void ppm_alloc_pstate_domains(cpu_t *);