c_ipi_pending      86 kern/include/cpu.h 	uint32_t c_ipi_pending;		/* One bit for each IPI number */
c_ipi_pending     188 kern/thread/thread.c 	c->c_ipi_pending = 0;
c_ipi_pending    1124 kern/thread/thread.c 	target->c_ipi_pending |= (uint32_t)1 << code;
c_ipi_pending    1159 kern/thread/thread.c 	target->c_ipi_pending |= (uint32_t)1 << IPI_TLBSHOOTDOWN;
c_ipi_pending    1172 kern/thread/thread.c 	bits = curcpu->c_ipi_pending;
c_ipi_pending    1207 kern/thread/thread.c 	curcpu->c_ipi_pending = 0;