FreeBSD/sys/mips/mips/mp_machdep.c
/* Send an IPI to a specific CPU. */
Send an IPI to a specific CPU.
Send an IPI to a specific CPU .
void
ipi_cpu(int cpu, u_int ipi)
{
	CTR3(KTR_SMP, "%s: cpu: %d, ipi: %x\n", __func__, cpu, ipi);
	ipi_send(cpuid_to_pcpu[cpu], ipi);
}
void ipi_cpu ( int cpu , u_int ipi ) { CTR3 ( KTR_SMP , " \n " , __func__ , cpu , ipi ) ; ipi_send ( cpuid_to_pcpu [ cpu ] , ipi ) ; }
Send an IPI to a specific CPU.
Send an IPI to a specific CPU .