diff options
| author | Yang Zhang <yang.z.zhang@Intel.com> | 2013-10-04 12:28:14 +0200 |
|---|---|---|
| committer | Jan Beulich <jbeulich@suse.com> | 2013-10-04 12:28:14 +0200 |
| commit | 190b667ac20e8175758f4a3a0f13c4d990e6af7e (patch) | |
| tree | 298a387128dc7fd854f26c7ded29a6b1c0b07198 /xen/arch/x86/hvm/vmx/vvmx.c | |
| parent | 7cfb0053629c4dd1a6f01dc43cca7c0c25b8b7bf (diff) | |
| download | xen-190b667ac20e8175758f4a3a0f13c4d990e6af7e.tar.gz xen-190b667ac20e8175758f4a3a0f13c4d990e6af7e.tar.bz2 xen-190b667ac20e8175758f4a3a0f13c4d990e6af7e.zip | |
Nested VMX: check VMX capability before read VMX related MSRs
VMX MSRs only available when the CPU support the VMX feature. In addition,
VMX_TRUE* MSRs only available when bit 55 of VMX_BASIC MSR is set.
Signed-off-by: Yang Zhang <yang.z.zhang@Intel.com>
Cleanup.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Jun Nakajima <jun.nakajima@intel.com>
Diffstat (limited to 'xen/arch/x86/hvm/vmx/vvmx.c')
| -rw-r--r-- | xen/arch/x86/hvm/vmx/vvmx.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/xen/arch/x86/hvm/vmx/vvmx.c b/xen/arch/x86/hvm/vmx/vvmx.c index d476f03dcd..b911eb1499 100644 --- a/xen/arch/x86/hvm/vmx/vvmx.c +++ b/xen/arch/x86/hvm/vmx/vvmx.c @@ -1815,12 +1815,33 @@ int nvmx_handle_invvpid(struct cpu_user_regs *regs) int nvmx_msr_read_intercept(unsigned int msr, u64 *msr_content) { struct vcpu *v = current; + unsigned int ecx, dummy; u64 data = 0, host_data = 0; int r = 1; if ( !nestedhvm_enabled(v->domain) ) return 0; + /* VMX capablity MSRs are available only when guest supports VMX. */ + hvm_cpuid(0x1, &dummy, &dummy, &ecx, &dummy); + if ( !(ecx & cpufeat_mask(X86_FEATURE_VMXE)) ) + return 0; + + /* + * Those MSRs are available only when bit 55 of + * MSR_IA32_VMX_BASIC is set. + */ + switch ( msr ) + { + case MSR_IA32_VMX_TRUE_PINBASED_CTLS: + case MSR_IA32_VMX_TRUE_PROCBASED_CTLS: + case MSR_IA32_VMX_TRUE_EXIT_CTLS: + case MSR_IA32_VMX_TRUE_ENTRY_CTLS: + if ( !(vmx_basic_msr & VMX_BASIC_DEFAULT1_ZERO) ) + return 0; + break; + } + rdmsrl(msr, host_data); /* |