Symbol: ESR_ELx_EC_SVC32