VCPU_REGS_RDI
gprs[VCPU_REGS_RDI] = vcpu->vc_gueststate.vg_rdi;
gprs[VCPU_REGS_RDI] = vcpu->vc_gueststate.vg_rdi;
vcpu->vc_gueststate.vg_rdi = gprs[VCPU_REGS_RDI];
vcpu->vc_gueststate.vg_rdi = gprs[VCPU_REGS_RDI];
vmsa->v_rdi = gprs[VCPU_REGS_RDI];
case VCPU_REGS_RDI: return "RDI";
insn->insn_reg = VCPU_REGS_RDI;
addr = vrs->vrs_gprs[VCPU_REGS_RDI];