VCPU_REGS_R11
gprs[VCPU_REGS_R11] = vcpu->vc_gueststate.vg_r11;
gprs[VCPU_REGS_R11] = vcpu->vc_gueststate.vg_r11;
vcpu->vc_gueststate.vg_r11 = gprs[VCPU_REGS_R11];
vcpu->vc_gueststate.vg_r11 = gprs[VCPU_REGS_R11];
vmsa->v_r11 = gprs[VCPU_REGS_R11];
case VCPU_REGS_R11: return "R11";