cpu_icache_sync_range
cpu_icache_sync_range(kaddr, size);
cpu_icache_sync_range(lf->address, lf->size);
cpu_icache_sync_range((void *)PHYS_TO_DMAP(pa),
cpu_icache_sync_range((void *)PHYS_TO_DMAP(PTE_TO_PHYS(new_l2)),
cpu_icache_sync_range((void *)PHYS_TO_DMAP(pa), L3C_SIZE);
cpu_icache_sync_range((void *)PHYS_TO_DMAP(pa), PAGE_SIZE);
cpu_icache_sync_range((void *)va, sz);
cpu_icache_sync_range((void *)PHYS_TO_DMAP(pa),
cpu_icache_sync_range((void *)patchpoint, INSN_SIZE);
cpu_icache_sync_range((void *)patchpoint, INSN_SIZE);
cpu_icache_sync_range(addr, size);
cpu_icache_sync_range(fbt->fbtp_patchpoint, 4);
cpu_icache_sync_range(kp->kp_tramp, KINST_TRAMP_SIZE);
cpu_icache_sync_range(kp->kp_patchpoint, INSN_SIZE);