Symbol: sh_icache_sync_range_index