ipi_send          166 kern/include/cpu.h void ipi_send(struct cpu *target, int code);
ipi_send          459 kern/thread/thread.c 		ipi_send(targetcpu, IPI_UNIDLE);
ipi_send          937 kern/thread/thread.c 				ipi_send(c, IPI_UNIDLE);
ipi_send         1138 kern/thread/thread.c 			ipi_send(c, code);