VMCS_HOST_RIP
if ((error = vmwrite(VMCS_HOST_RIP,
error = vm_get_vmcs_field(vcpu, VMCS_HOST_RIP, &rip);