Searched refs:ipi_send_cpu (Results 1 – 1 of 1) sorted by relevance
1311 ipi_send_cpu(int cpu, u_int ipi) in ipi_send_cpu() function1398 ipi_send_cpu(cpu, ipi); in ipi_selected()1418 ipi_send_cpu(cpu, ipi); in ipi_cpu()