<map id="l4_vm_vmx_read_64" name="l4_vm_vmx_read_64">
<area shape="rect" id="Node000001" title="Read a 64&#45;bit software VMCS field." alt="" coords="188,5,345,31"/>
<area shape="rect" id="Node000002" href="$group__l4__vm__vmx__api.html#ga6ddd9fb2841dc44996a7753746f461e4" title="Read any software VMCS field." alt="" coords="5,5,140,31"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="174,21,140,21,140,15,174,15"/>
</map>
