ESR_ELx_SSE
return !!(kvm_vcpu_get_esr(vcpu) & ESR_ELx_SSE);
(esr & ESR_ELx_SSE) >> ESR_ELx_SSE_SHIFT,
(ESR_ELx_SSE) | (ESR_ELx_SRT_MASK) | \