Searched refs:ipi_mark_pending (Results 1 – 1 of 1) sorted by relevance
182 ipi_mark_pending(u_int ipi_id, struct cpu_info *ci) in ipi_mark_pending() function207 if (ipi_mark_pending(ipi_id, ci)) { in ipi_trigger()236 ipi_mark_pending(ipi_id, curcpu()); in ipi_trigger_multi_internal()