diff options
author | Gui Jianfeng <guijianfeng@cn.fujitsu.com> | 2010-06-03 20:51:39 -0400 |
---|---|---|
committer | Avi Kivity <avi@redhat.com> | 2010-08-01 03:39:26 -0400 |
commit | 518c8aee5ca74fc03273fc6b4893cf456d65d545 (patch) | |
tree | db11301916f1477651568ca16b268d4467e7bebd /arch/x86/include | |
parent | 7bee342a9e994cce7122cb187b4f3ded9d871165 (diff) |
KVM: VMX: Make sure single type invvpid is supported before issuing invvpid instruction
According to SDM, we need check whether single-context INVVPID type is supported
before issuing invvpid instruction.
Signed-off-by: Gui Jianfeng <guijianfeng@cn.fujitsu.com>
Reviewed-by: Sheng Yang <sheng@linux.intel.com>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Diffstat (limited to 'arch/x86/include')
-rw-r--r-- | arch/x86/include/asm/vmx.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/x86/include/asm/vmx.h b/arch/x86/include/asm/vmx.h index 104cf86a7562..b4e28400c9ff 100644 --- a/arch/x86/include/asm/vmx.h +++ b/arch/x86/include/asm/vmx.h | |||
@@ -376,6 +376,8 @@ enum vmcs_field { | |||
376 | #define VMX_EPT_EXTENT_CONTEXT_BIT (1ull << 25) | 376 | #define VMX_EPT_EXTENT_CONTEXT_BIT (1ull << 25) |
377 | #define VMX_EPT_EXTENT_GLOBAL_BIT (1ull << 26) | 377 | #define VMX_EPT_EXTENT_GLOBAL_BIT (1ull << 26) |
378 | 378 | ||
379 | #define VMX_VPID_EXTENT_SINGLE_CONTEXT_BIT (1ull << 9) /* (41 - 32) */ | ||
380 | |||
379 | #define VMX_EPT_DEFAULT_GAW 3 | 381 | #define VMX_EPT_DEFAULT_GAW 3 |
380 | #define VMX_EPT_MAX_GAW 0x4 | 382 | #define VMX_EPT_MAX_GAW 0x4 |
381 | #define VMX_EPT_MT_EPTE_SHIFT 3 | 383 | #define VMX_EPT_MT_EPTE_SHIFT 3 |