VCPU_REGS_RSI
gprs[VCPU_REGS_RSI] = vcpu->vc_gueststate.vg_rsi;
gprs[VCPU_REGS_RSI] = vcpu->vc_gueststate.vg_rsi;
vcpu->vc_gueststate.vg_rsi = gprs[VCPU_REGS_RSI];
vcpu->vc_gueststate.vg_rsi = gprs[VCPU_REGS_RSI];
vmsa->v_rsi = gprs[VCPU_REGS_RSI];
case VCPU_REGS_RSI: return "RSI";
insn->insn_reg = VCPU_REGS_RSI;
addr = vrs->vrs_gprs[VCPU_REGS_RSI];
vei->vrs.vrs_gprs[VCPU_REGS_RSI]);