sync_icache
sync_icache(vaddr + pageoff, size);
sync_icache(iaddr, size);
sync_icache(vaddr, (uint_t)len);
extern void sync_icache(caddr_t, uint_t);
sync_icache((caddr_t)fbt_trampoline, fbt_trampoline_size);
sync_icache(fbt_trampoline_window, fbt_trampoline_size);
sync_icache(va + off, len);
sync_icache(va + off, len);
sync_icache(va + off, len);