Searched refs:intr_ipi_send (Results 1 – 4 of 4) sorted by relevance
375 intr_ipi_send(other_cpus, ipi); in ipi_all_but_self()387 intr_ipi_send(cpus, ipi); in ipi_cpu()395 intr_ipi_send(cpus, ipi); in ipi_selected()
164 intr_ipi_send(cpuset_t cpus, u_int ipi) in intr_ipi_send() function
59 void intr_ipi_send(cpuset_t, u_int);
370 intr_ipi_send(cpuset_t cpus, u_int ipi) in intr_ipi_send() function882 intr_ipi_send(cpus, ipi); in ipi_all_but_self()894 intr_ipi_send(cpus, ipi); in ipi_cpu()902 intr_ipi_send(cpus, ipi); in ipi_selected()