icache_sync
icache_sync(addr, size);
icache_sync(va, (ARM_NVEC * 2) * sizeof(u_int));
icache_sync(patchpoint, sizeof(instr));
icache_sync(patchpoint, sizeof(instr));
icache_sync((vm_offset_t)addr, size);
icache_sync((vm_offset_t)fbt->fbtp_patchpoint, sizeof(val));