VCPU_REGS_R9
gprs[VCPU_REGS_R9] = vcpu->vc_gueststate.vg_r9;
gprs[VCPU_REGS_R9] = vcpu->vc_gueststate.vg_r9;
vcpu->vc_gueststate.vg_r9 = gprs[VCPU_REGS_R9];
vcpu->vc_gueststate.vg_r9 = gprs[VCPU_REGS_R9];
vmsa->v_r9 = gprs[VCPU_REGS_R9];
case VCPU_REGS_R9: return " R9";