xc_unicast
uint64_t token = xc_unicast(0, mcclock_trampoline,
uint64_t where = xc_unicast(XC_HIGHPRI,
uint64_t where = xc_unicast(XC_HIGHPRI,
uint64_t where = xc_unicast(XC_HIGHPRI,
uint64_t where = xc_unicast(XC_HIGHPRI,
xc = xc_unicast(0, coretemp_refresh_xcall, sc, edata, sc->sc_ci);
where = xc_unicast(0, intr_establish_xcall, ih,
where = xc_unicast(0, intr_hwunmask_xcall, ih, NULL, ci);
xc_unicast(0, intr_mask_xcall, ih, mask_arg, ci);
where = xc_unicast(0, intr_disestablish_xcall, ih, NULL, ci);
where = xc_unicast(0, intr_redistribute_xc_t, isp,
where = xc_unicast(0, intr_redistribute_xc_s1, isp, nci, oci);
where = xc_unicast(0, intr_redistribute_xc_s2,
where = xc_unicast(0, intr_deactivate_xcall, ih,
where = xc_unicast(0, intr_activate_xcall, ih,
where = xc_unicast(0, intr_hwunmask_xcall, ih, NULL, newci);
xc = xc_unicast(0, viac7temp_refresh_xcall, sc, edata, sc->sc_ci);
uint64_t where = xc_unicast(0, event_remove_handler_xcall,
uint64_t where = xc_unicast(0, event_set_handler_xcall,
xc = xc_unicast(XC_HIGHPRI, vmx_vmclear_ipi, (void *)vmcs_pa, NULL, ci);
xc = xc_unicast(0, tprof_getcounts_cpu, tb, counts->c_count, ci);
where = xc_unicast(0, func, ci, NULL, ci);
where = xc_unicast(0, func, ci, NULL, ci);
xc = xc_unicast(0, (*cf->cf_get_freq), cf->cf_cookie, &freq, ci);
xc = xc_unicast(0, (*cf->cf_set_freq), cf->cf_cookie, &freq, ci);
where = xc_unicast(0, interrupt_shield_xcall, ci,
where = xc_unicast(0, percpu_cpu_swap, ci, &pcc, ci);
xc_wait(xc_unicast(xcflags, percpu_xcfunc, pc, &ctx, ci));
where = xc_unicast(0, prof_set_state_xc,
xc_unicast(0, ipiemu, NULL, NULL, ci);
uint64_t xc_unicast(u_int, xcfunc_t, void *, void *, struct cpu_info *);