VMCS_HOST_RIP
error = vm_get_vmcs_field(vcpu, VMCS_HOST_RIP, &rip);
vmcs_write(VMCS_HOST_RIP, (uint64_t)vmx_exit_guest);