ESR_ELx_AET
#define DISR_EL1_ESR_MASK (ESR_ELx_AET | ESR_ELx_EA | ESR_ELx_FSC)
unsigned long aet = esr & ESR_ELx_AET;