mmu_radix_sync_icache
void mmu_radix_sync_icache(pmap_t pm, vm_offset_t va, vm_size_t sz);
.sync_icache = mmu_radix_sync_icache,