esr_fsc_is_permission_fault
return esr_fsc_is_permission_fault(kvm_vcpu_get_esr(vcpu));
BUG_ON(!esr_fsc_is_permission_fault(esr));
if ((esr & ESR_ELx_S1PTW) && esr_fsc_is_permission_fault(esr))
!esr_fsc_is_permission_fault(esr) &&
esr_fsc_is_permission_fault(esr));
esr_fsc_is_permission_fault(esr));
if (esr_fsc_is_permission_fault(esr)) {
if (esr_fsc_is_permission_fault(esr))