ESR_ELx_SF
return !!(kvm_vcpu_get_esr(vcpu) & ESR_ELx_SF);
(esr & ESR_ELx_SF) >> ESR_ELx_SF_SHIFT,
(ESR_ELx_SF) | (ESR_ELx_AR))