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() function 245 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()