IPI_OFFLINE       340 kern/thread/thread.c 	ipi_broadcast(IPI_OFFLINE);
IPI_OFFLINE      1178 kern/thread/thread.c 	if (bits & (1U << IPI_OFFLINE)) {