VCPU_REGS_R15
gprs[VCPU_REGS_R15] = vcpu->vc_gueststate.vg_r15;
gprs[VCPU_REGS_R15] = vcpu->vc_gueststate.vg_r15;
vcpu->vc_gueststate.vg_r15 = gprs[VCPU_REGS_R15];
vcpu->vc_gueststate.vg_r15 = gprs[VCPU_REGS_R15];
vmsa->v_r15 = gprs[VCPU_REGS_R15];
case VCPU_REGS_R15: return "R15";