Symbol: ESR_ELx_EC_SMC64