cpu_icache_sync_range
cpu_icache_sync_range(va, (ARM_NVEC * 2) * sizeof(u_int));
cpu_icache_sync_range(addr, savesize);
cpu_icache_sync_range(addr, size);
cpu_icache_sync_range(pv->pv_va, PAGE_SIZE);
cpu_icache_sync_range(va, PAGE_SIZE);
cpu_icache_sync_range(va, len);
cpu_icache_sync_range(pv->pv_va, PAGE_SIZE);
cpu_icache_sync_range(va, chunk);
cpu_icache_sync_range((vaddr_t)caddr, len);
cpu_icache_sync_range(addr, size);
cpu_icache_sync_range(va, len);
cpu_icache_sync_range(kva + off, clen);
cpu_icache_sync_range(kva, PAGE_SIZE);
void cpu_icache_sync_range(vaddr_t, vsize_t);