VMCS_LINK_POINTER
if ((error = vmwrite(VMCS_LINK_POINTER, ~0)) != 0)
error = vm_get_vmcs_field(vcpu, VMCS_LINK_POINTER, &addr);