Searched refs:sun4d_send_ipi (Results 1 – 1 of 1) sorted by relevance
231 static void sun4d_send_ipi(int cpu, int level) in sun4d_send_ipi() function244 sun4d_send_ipi(cpu, SUN4D_IPI_IRQ); in sun4d_ipi_single()255 sun4d_send_ipi(cpu, SUN4D_IPI_IRQ); in sun4d_ipi_mask_one()266 sun4d_send_ipi(cpu, SUN4D_IPI_IRQ); in sun4d_ipi_resched()323 sun4d_send_ipi(i, IRQ_CROSS_CALL); in sun4d_cross_call()