K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2014-02-23T01:34:40.844424Z
K 7
svn:log
V 183
MFC 259542:
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