sa1_cache_syncI_rng
.cf_icache_sync_range = sa1_cache_syncI_rng,
.cf_icache_sync_range = sa1_cache_syncI_rng,
.cf_icache_sync_range = sa1_cache_syncI_rng,
void sa1_cache_syncI_rng (vaddr_t, vsize_t);