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); }