VCPU_REGS_RIP
vrunp.vrp_exit->vrs.vrs_gprs[VCPU_REGS_RIP],
exit->vrs.vrs_gprs[VCPU_REGS_RIP] += exit->vei.vei_insn_len;
vrunp.vrp_exit->vrs.vrs_gprs[VCPU_REGS_RIP],
printf("rip = 0x%llx\n", exit->vrs.vrs_gprs[VCPU_REGS_RIP]);
.vrs_gprs[VCPU_REGS_RIP] = 0xFFF0,
gprs[VCPU_REGS_RIP] = vcpu->vc_gueststate.vg_rip;
gprs[VCPU_REGS_RIP] = vmcb->v_rip;
vcpu->vc_gueststate.vg_rip = gprs[VCPU_REGS_RIP];
if (vmwrite(VMCS_GUEST_IA32_RIP, gprs[VCPU_REGS_RIP]))
vcpu->vc_gueststate.vg_rip = gprs[VCPU_REGS_RIP];
vmcb->v_rip = gprs[VCPU_REGS_RIP];
vmsa->v_rip = gprs[VCPU_REGS_RIP];
vcpu->vc_exit.vrs.vrs_gprs[VCPU_REGS_RIP];
vcpu->vc_exit.vrs.vrs_gprs[VCPU_REGS_RIP];
vrs->vrs_gprs[VCPU_REGS_RIP] = (uint64_t)marks[MARK_ENTRY];
vei->vrs.vrs_gprs[VCPU_REGS_RIP]);
exit->vrs.vrs_gprs[VCPU_REGS_RIP] += insn->insn_bytes_len;
case VCPU_REGS_RIP: return "RIP";
.vrs_gprs[VCPU_REGS_RIP] = 0xFFF0,
vei->vrs.vrs_gprs[VCPU_REGS_RIP] += vei->vei.vei_insn_len;
va = ve->vrs.vrs_gprs[VCPU_REGS_RIP];
ve->vrs.vrs_gprs[VCPU_REGS_RIP]);
.vrs_gprs[VCPU_REGS_RIP] = 0x0,