<dec f='src/src/sys/sys/ipi.h' l='73' type='void ipi_unicast(ipi_msg_t * , struct cpu_info * )'/>
<doc f='src/src/sys/sys/ipi.h' l='72'>/* Public interface: synchronous IPIs. */</doc>
<def f='src/src/sys/kern/subr_ipi.c' l='308' ll='322' type='void ipi_unicast(ipi_msg_t * msg, struct cpu_info * ci)'/>
<doc f='src/src/sys/kern/subr_ipi.c' l='302'>/*
 * ipi_unicast: send an IPI to a single CPU.
 *
 * =&gt; The CPU must be remote; must not be local.
 * =&gt; The caller must ipi_wait() on the message for completion.
 */</doc>
