Symbol: ipi_mark_pending
sys/kern/subr_ipi.c
207
if (ipi_mark_pending(ipi_id, ci)) {
sys/kern/subr_ipi.c
236
ipi_mark_pending(ipi_id, curcpu());