K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-07-14T03:55:31.782129Z
K 7
svn:log
V 385
Use a function to convert the physical address of the EPT to the EPTP value
that is written to the VMCS.

This is needed because the value of bit 6 in the EPTP is based on the A/D bit
capability advertised by the processor and thus cannot be known at compile
time.

Also, store the EPTP value directly in the 'struct vmx' instead of storing
the physical address of the EPT PML4 table.

END