Searched refs:ipi_send_cpu (Results 1 – 2 of 2) sorted by relevance
109 void ipi_send_cpu(int cpu, u_int ipi);
1213 ipi_send_cpu(int cpu, u_int ipi) in ipi_send_cpu() function1290 ipi_send_cpu(cpu, ipi); in ipi_selected()1310 ipi_send_cpu(cpu, ipi); in ipi_cpu()1646 ipi_send_cpu(cpu, vector); in smp_targeted_tlb_shootdown()