Symbol: IPI_BITWORDS
sys/kern/subr_ipi.c
297
for (u_int i = 0; i < IPI_BITWORDS; i++) {
sys/sys/cpu_data.h
152
uint32_t cpu_ipipend[IPI_BITWORDS]; /* pending IPIs */