ESR_ELx_EC_CP10_ID
#define ESR_ELx_EC_CP10_ID UL(0x08) /* EL2 only */
#define ESR_ELx_EC_CP10_ID (0x08) /* EL2 only */