ESR_ELx_EC_MASK
#define ESR_ELx_WFx_MASK (ESR_ELx_EC_MASK | \
#define ESR_ELx_EC(esr) (((esr) & ESR_ELx_EC_MASK) >> ESR_ELx_EC_SHIFT)
u64 esr = FIELD_PREP(ESR_ELx_EC_MASK, ESR_ELx_EC_SVE) |
esr |= FIELD_PREP(ESR_ELx_EC_MASK, ESR_ELx_EC_FPAC);
u64 esr = FIELD_PREP(ESR_ELx_EC_MASK,
esr |= FIELD_PREP(ESR_ELx_EC_MASK, ESR_ELx_EC_SERROR);
vcpu->arch.fault.esr_el2 = FIELD_PREP(ESR_ELx_EC_MASK, ESR_ELx_EC_SYS64) |
u64 esr = FIELD_PREP(ESR_ELx_EC_MASK, ESR_ELx_EC_DABT_LOW) |
esr |= FIELD_PREP(ESR_ELx_EC_MASK, ESR_ELx_EC_SERROR);
u64 esr_mask = ESR_ELx_EC_MASK |
esr &= ESR_ELx_EC_MASK | ESR_ELx_IL |
esr &= ESR_ELx_EC_MASK | ESR_ELx_IL;
#define ESR_ELx_WFx_MASK (ESR_ELx_EC_MASK | \
#define ESR_ELx_EC(esr) (((esr) & ESR_ELx_EC_MASK) >> ESR_ELx_EC_SHIFT)