cpupm_plat_domain_id
return (cpupm_plat_domain_id(cp, type));
id_t cpupm_plat_domain_id(struct cpu *, cpupm_dtype_t);
extern id_t cpupm_plat_domain_id(cpu_t *cp, cpupm_dtype_t type);