Symbol: ipi_bitmap_set
sys/x86/x86/mp_x86.c
1324
if (ipi_bitmap_set(cpu, ipi))
sys/x86/x86/mp_x86.c
1456
ipi_bitmap_set(c, ipi);