Symbol: ESR_ELx_EC_HVC32