Symbol: ipi_broadcast
sys/dev/pci/agp_i810.c
215
ipi_broadcast(&msg, /*skip_self*/false);
sys/kern/subr_ipi.c
171
ipi_broadcast(&ipimsg, false);
sys/sys/ipi.h
77
void ipi_broadcast(ipi_msg_t *, bool);