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