Searched refs:interrupt_send_ipi (Results 1 – 3 of 3) sorted by relevance
63 zx_status_t interrupt_send_ipi(cpu_mask_t target, mp_ipi_t ipi);
97 return interrupt_send_ipi(mask, ipi); in arch_mp_send_ipi()
184 zx_status_t interrupt_send_ipi(cpu_mask_t target, mp_ipi_t ipi) { in interrupt_send_ipi() function
Completed in 6 milliseconds