ipi_broadcast     167 kern/include/cpu.h void ipi_broadcast(int code);
ipi_broadcast     297 kern/thread/thread.c 	ipi_broadcast(IPI_PANIC);
ipi_broadcast     340 kern/thread/thread.c 	ipi_broadcast(IPI_OFFLINE);