Searched refs:ipi_trigger_multi (Results 1 – 2 of 2) sorted by relevance
71 void ipi_trigger_multi(u_int, const kcpuset_t *);
248 ipi_trigger_multi(u_int ipi_id, const kcpuset_t *target) in ipi_trigger_multi() function