diff options
author | Rusty Russell <rusty@rustcorp.com.au> | 2007-07-17 09:34:16 -0400 |
---|---|---|
committer | Avi Kivity <avi@qumranet.com> | 2007-10-13 04:18:18 -0400 |
commit | 66aee91aaab8f998d28a61ed7733be17ad8e6d8f (patch) | |
tree | f3cd552c4a176cbba0929788b03867cb33d7b5b5 /drivers/kvm/vmx.h | |
parent | f802a307cb2cabdd0c6b48067dbe901d6fe27246 (diff) |
KVM: Use standard CR4 flags, tighten checking
On this machine (Intel), writing to the CR4 bits 0x00000800 and
0x00001000 cause a GPF. The Intel manual is a little unclear, but
AFIACT they're reserved, too.
Also fix spelling of CR4_RESEVED_BITS.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
Signed-off-by: Avi Kivity <avi@qumranet.com>
Diffstat (limited to 'drivers/kvm/vmx.h')
-rw-r--r-- | drivers/kvm/vmx.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/drivers/kvm/vmx.h b/drivers/kvm/vmx.h index d0dc93df411b..76ad7933cded 100644 --- a/drivers/kvm/vmx.h +++ b/drivers/kvm/vmx.h | |||
@@ -285,8 +285,6 @@ enum vmcs_field { | |||
285 | 285 | ||
286 | #define AR_RESERVD_MASK 0xfffe0f00 | 286 | #define AR_RESERVD_MASK 0xfffe0f00 |
287 | 287 | ||
288 | #define CR4_VMXE 0x2000 | ||
289 | |||
290 | #define MSR_IA32_VMX_BASIC 0x480 | 288 | #define MSR_IA32_VMX_BASIC 0x480 |
291 | #define MSR_IA32_FEATURE_CONTROL 0x03a | 289 | #define MSR_IA32_FEATURE_CONTROL 0x03a |
292 | #define MSR_IA32_VMX_PINBASED_CTLS 0x481 | 290 | #define MSR_IA32_VMX_PINBASED_CTLS 0x481 |