cpu_icache_sync_range
cpu_icache_sync_range(addr, size);
cpu_icache_sync_range(va, PAGE_SIZE);
cpu_icache_sync_range((va), PAGE_SIZE); \
cpu_icache_sync_range(va, PAGE_SIZE);
cpu_icache_sync_range(va, len);
cpu_icache_sync_range(va, len);
cpu_icache_sync_range(sva, len);
cpu_icache_sync_range(va, tlen);
cpu_icache_sync_range(va, PAGE_SIZE);
cpu_icache_sync_range(va, PAGE_SIZE);
cpu_icache_sync_range(kva, PAGE_SIZE);
cpu_icache_sync_range((vaddr_t)(from), (vsize_t)((to) - (from)))
cpu_icache_sync_range((vaddr_t) fiqvector, size);
cpu_icache_sync_range(va, (ARM_NVEC * 2) * sizeof(u_int));
cpu_icache_sync_range(addr, size);
cpu_icache_sync_range(vdstp, way_size);
cpu_icache_sync_range(dstp, way_size);
cpu_icache_sync_range(sva,
cpu_icache_sync_range(va, len);
cpu_icache_sync_range((vaddr_t)to, savesize);
cpu_icache_sync_range((vaddr_t)(from), (vsize_t)((to) - (from)))
cpu_icache_sync_range(SCARG(uap, from),