cpu_ipi_wait
static void cpu_ipi_wait(const char *, const kcpuset_t *, const kcpuset_t *);
cpu_ipi_wait("halt", cpus_halted, kcp);
cpu_ipi_wait("pause", cpus_paused, kcp);
cpu_ipi_wait("resume", cpus_resumed, kcp);
cpu_ipi_wait("resume", cpus_resumed, kcp);
if (cpu_ipi_wait(csi->cpus_halted, cpumask))
if (cpu_ipi_wait(csi->cpus_paused, cpuset))
if (cpu_ipi_wait(csi->cpus_paused, cpuset))
if (cpu_ipi_wait(csi->cpus_resumed, cpuset))
cpu_ipi_wait("halt", cpus_halted, kcp);
cpu_ipi_wait("pause", cpus_paused, kcp);
cpu_ipi_wait("resume", cpus_resumed, kcp);
cpu_ipi_wait("resume", cpus_resumed, kcp);