MSR_IA32_POWER_CTL_BIT_EE
power_ctl &= ~BIT(MSR_IA32_POWER_CTL_BIT_EE);
power_ctl |= BIT(MSR_IA32_POWER_CTL_BIT_EE);
enable = !!(power_ctl & BIT(MSR_IA32_POWER_CTL_BIT_EE));