sun4d_send_ipi    245 arch/sparc/kernel/sun4d_smp.c 	sun4d_send_ipi(cpu, SUN4D_IPI_IRQ);
sun4d_send_ipi    256 arch/sparc/kernel/sun4d_smp.c 	sun4d_send_ipi(cpu, SUN4D_IPI_IRQ);
sun4d_send_ipi    267 arch/sparc/kernel/sun4d_smp.c 	sun4d_send_ipi(cpu, SUN4D_IPI_IRQ);
sun4d_send_ipi    324 arch/sparc/kernel/sun4d_smp.c 					sun4d_send_ipi(i, IRQ_CROSS_CALL);