vm_exit_run_state
vm_exit_run_state(vm, vcpu, state->rip);
vm_exit_run_state(vmx->vm, vcpu, rip);
void vm_exit_run_state(struct vm *vm, int vcpuid, uint64_t rip);