msr_ia32_power_ctl  690 arch/x86/include/asm/kvm_host.h 	u64 msr_ia32_power_ctl;
msr_ia32_power_ctl 2787 arch/x86/kvm/x86.c 		vcpu->arch.msr_ia32_power_ctl = data;
msr_ia32_power_ctl 3032 arch/x86/kvm/x86.c 		msr_info->data = vcpu->arch.msr_ia32_power_ctl;