xt_some
xt_some(cpuset, vtag_flushpage_tl1,
xt_some(cpuset, vtag_flushpage_tl1, (uint64_t)va,
xt_some(cpuset, vac_flushpage_tl1, pfnum, vcolor);
xt_some(cpuset, vtag_flushpage_tl1, (uint64_t)addr,
xt_some(cpuset, vac_flushpage_tl1, pfnum, vcolor);
xt_some(cpuset, vtag_flushpage_tl1, (uint64_t)addr, (uint64_t)sfmmup);
xt_some(cpuset, vtag_flush_pgcnt_tl1, (uint64_t)addr,
xt_some(cpuset, sfmmu_raise_tsb_exception,
xt_some(cpuset, vac_flushpage_tl1, pfnum, vcolor);
xt_some(cpuset, vac_flushcolor_tl1, vcolor, pfnum);
xt_some(cpuset, vtag_flushpage_tl1, (uint64_t)addr,
xt_some(cpuset, sfmmu_raise_tsb_exception,
xt_some(poke, setsoftint_tl1, siron_poke_cpu_inum, 0);
xt_some(cpu_idle_set, (xcfunc_t *)idle_stop_xcall,
xt_some(other_cpus,
extern void xt_some(cpuset_t, xcfunc_t *, uint64_t, uint64_t);
xt_some(cpu_offline_set, cache_scrubreq_tl1, csi->csi_inum,
xt_some(cpuset, (xcfunc_t *)drmach_sys_trap,
xt_some(cps, (xcfunc_t *)idle_stop_xcall, (uint64_t)&panic_idle, 0);
xt_some(cpuset, (xcfunc_t *)xt_sync_tl1, 0, 0);
xt_some(others, (xcfunc_t *)sysctrl_freeze, (uint64_t)sysctrl_gate,
xt_some(cpuset, vtag_flushpage_tl1, (uint64_t)vaddr,
xt_some(cpuset, vac_flushpage_tl1, pfn, vcolor);
xt_some(cpuset, (xcfunc_t *)xt_sync_tl1,
xt_some(cps, (xcfunc_t *)idle_stop_xcall, (uint64_t)&panic_idle, 0);
xt_some(other_cpus, vtag_unmap_perm_tl1, (uint64_t)OFW_START_ADDR,