Searched refs:MSR_IA32_POWER_CTL (Results 1 – 3 of 3) sorted by relevance
95 deny_msr(bitmap_00000000_write, MSR_IA32_POWER_CTL); in prepare_bitmaps()304 wrmsr(MSR_IA32_POWER_CTL, 0x1234); in guest_msr_calls()307 rdmsr(MSR_IA32_POWER_CTL); in guest_msr_calls()617 if (run->msr.index == MSR_IA32_POWER_CTL) { in handle_wrmsr()
265 #define MSR_IA32_POWER_CTL 0x000001fc macro
5395 get_msr(base_cpu, MSR_IA32_POWER_CTL, &msr); in dump_power_ctl()
Completed in 28 milliseconds