K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-12-18T06:24:21.947517Z
K 7
svn:log
V 171
Use vmcs_read() and vmcs_write() in preference to vmread() and vmwrite()
respectively. The vmcs_xxx() functions provide inline error checking of
all accesses to the VMCS.

END