mmu_booke_sync_icache
static void mmu_booke_sync_icache(pmap_t, vm_offset_t,
.sync_icache = mmu_booke_sync_icache,