K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2012-08-04T02:14:27.222440Z
K 7
svn:log
V 324
There is no need to explicitly specify the CR4_VMXE bit when writing to guest
CR4. This bit is specific to the Intel VTX and removing it makes the library
more portable to AMD/SVM.

In the Intel VTX implementation, the hypervisor will ensure that this bit is
always set. See vmx_fix_cr4() for details.

Suggested by: grehan

END