cpu_multicast_ipi
cpu_multicast_ipi(const kcpuset_t *kcp, int tag)
cpu_multicast_ipi(__cpuset_t cpuset, uint32_t msg)