vm_exit_rendezvous
void vm_exit_rendezvous(struct vcpu *vcpu, uint64_t rip);
vm_exit_rendezvous(vcpu->vcpu, state->rip);
vm_exit_rendezvous(vcpu->vcpu, rip);