K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2012-08-04T02:06:55.252405Z
K 7
svn:log
V 222
Force certain bits in %cr4 to be hard-wired to '1' or '0' from a guest's
perspective. If we don't do this some guest OSes (e.g. Linux) will reset
the CR4_VMXE bit in %cr4 with disastrous consequences.

Reported by: grehan

END