IA32_POWER_CTL_BD_PROCHOT
msr |= IA32_POWER_CTL_BD_PROCHOT;
if ((msr & IA32_POWER_CTL_BD_PROCHOT) == 0)
msr &= ~(uint64_t)IA32_POWER_CTL_BD_PROCHOT;
(msr & IA32_POWER_CTL_BD_PROCHOT) != 0) {
msr &= ~(uint64_t)IA32_POWER_CTL_BD_PROCHOT;
msr &= ~(uint64_t)IA32_POWER_CTL_BD_PROCHOT;
msr |= IA32_POWER_CTL_BD_PROCHOT;