IPI_TLBSHOOTDOWN 1159 kern/thread/thread.c 	target->c_ipi_pending |= (uint32_t)1 << IPI_TLBSHOOTDOWN;
IPI_TLBSHOOTDOWN 1195 kern/thread/thread.c 	if (bits & (1U << IPI_TLBSHOOTDOWN)) {