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