Symbol: ESR_EL2