MSR_IA32_POWER_CTL
case MSR_IA32_POWER_CTL:
case MSR_IA32_POWER_CTL:
MSR_IA32_POWER_CTL,
case MSR_IA32_POWER_CTL:
rdmsrq(MSR_IA32_POWER_CTL, power_ctl);
wrmsrq(MSR_IA32_POWER_CTL, power_ctl);
rdmsrq(MSR_IA32_POWER_CTL, power_ctl);
rdmsrq(MSR_IA32_POWER_CTL, power_ctl);
rdmsrq(MSR_IA32_POWER_CTL, msr_bits);
wrmsrq(MSR_IA32_POWER_CTL, msr_bits);
rdmsrq(MSR_IA32_POWER_CTL, msr_bits);
wrmsrq(MSR_IA32_POWER_CTL, msr_bits);
get_msr(master_cpu, MSR_IA32_POWER_CTL, &msr);
wrmsr(MSR_IA32_POWER_CTL, 0x1234);
rdmsr(MSR_IA32_POWER_CTL);
if (run->msr.index == MSR_IA32_POWER_CTL) {
deny_msr(bitmap_00000000_write, MSR_IA32_POWER_CTL);