Symbol: MSR_IA32_POWER_CTL