int
i386_send_ipi(struct cpu_info *ci, int ipimask)
{
int ret;
i386_atomic_setbits_l(&ci->ci_ipis, ipimask);
/* Don't send IPI to cpu which isn't (yet) running. */
if (!(ci->ci_flags & CPUF_RUNNING))
return ENOENT;
ret = i386_ipi(LAPIC_IPI_VECTOR, ci->ci_cpuid, LAPIC_DLMODE_FIXED);
if (ret != 0) {
printf("ipi of %x from %s to %s failed\n",
ipimask, curcpu()->ci_dev.dv_xname, ci->ci_dev.dv_xname);
}
return ret;
}
void
i386_broadcast_ipi(int ipimask)
{
struct cpu_info *ci, *self = curcpu();
CPU_INFO_ITERATOR cii;
int count = 0;
CPU_INFO_FOREACH(cii, ci) {
if (ci == self)
continue;
if ((ci->ci_flags & CPUF_RUNNING) == 0)
continue;
i386_atomic_setbits_l(&ci->ci_ipis, ipimask);
count++;
}
if (!count)
return;
i386_ipi(LAPIC_IPI_VECTOR, LAPIC_DEST_ALLEXCL, LAPIC_DLMODE_FIXED);
}
