SUN4D_IPI_IRQ     163 arch/sparc/kernel/sun4d_irq.c 	if (pil == SUN4D_IPI_IRQ)
SUN4D_IPI_IRQ     198 arch/sparc/kernel/sun4d_smp.c 	printk(KERN_INFO "smp4d: setup IPI at IRQ %d\n", SUN4D_IPI_IRQ);
SUN4D_IPI_IRQ     245 arch/sparc/kernel/sun4d_smp.c 	sun4d_send_ipi(cpu, SUN4D_IPI_IRQ);
SUN4D_IPI_IRQ     256 arch/sparc/kernel/sun4d_smp.c 	sun4d_send_ipi(cpu, SUN4D_IPI_IRQ);
SUN4D_IPI_IRQ     267 arch/sparc/kernel/sun4d_smp.c 	sun4d_send_ipi(cpu, SUN4D_IPI_IRQ);