MSR_CONFIG_TDP_NOMINAL
tdp_msr = MSR_CONFIG_TDP_NOMINAL + (tdp_ctrl & 0x03);
get_msr(master_cpu, MSR_CONFIG_TDP_NOMINAL, &msr);