ESR_ELx_FSC_PERM
#define ESR_ELx_FSC_PERM_L(n) (ESR_ELx_FSC_PERM + (n))
return ((fst & ESR_ELx_FSC_TYPE) == ESR_ELx_FSC_PERM &&
trans->esr = esr_s2_fault(vcpu, trans->level, ESR_ELx_FSC_PERM);
#define ESR_ELx_FSC_PERM_L(n) (ESR_ELx_FSC_PERM + (n))