Searched refs:sun4d_send_ipi (Results 1 – 1 of 1) sorted by relevance
232 static void sun4d_send_ipi(int cpu, int level) in sun4d_send_ipi() function245 sun4d_send_ipi(cpu, SUN4D_IPI_IRQ); in sun4d_ipi_single()256 sun4d_send_ipi(cpu, SUN4D_IPI_IRQ); in sun4d_ipi_mask_one()267 sun4d_send_ipi(cpu, SUN4D_IPI_IRQ); in sun4d_ipi_resched()324 sun4d_send_ipi(i, IRQ_CROSS_CALL); in sun4d_cross_call()