Searched refs:SUN4D_IPI_IRQ (Results 1 – 3 of 3) sorted by relevance
197 printk(KERN_INFO "smp4d: setup IPI at IRQ %d\n", SUN4D_IPI_IRQ); in smp4d_ipi_init()244 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()
97 #define SUN4D_IPI_IRQ 13 macro
162 if (pil == SUN4D_IPI_IRQ) in sun4d_handler_irq()