IPI_UNIDLE        459 kern/thread/thread.c 		ipi_send(targetcpu, IPI_UNIDLE);
IPI_UNIDLE        937 kern/thread/thread.c 				ipi_send(c, IPI_UNIDLE);
IPI_UNIDLE       1189 kern/thread/thread.c 	if (bits & (1U << IPI_UNIDLE)) {