tree f3cd552c4a176cbba0929788b03867cb33d7b5b5
parent f802a307cb2cabdd0c6b48067dbe901d6fe27246
author Rusty Russell <rusty@rustcorp.com.au> 1184679256 +1000
committer Avi Kivity <avi@qumranet.com> 1192263498 +0200

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>