smp4d_ipi_init     41 arch/sparc/kernel/sun4d_smp.c static void smp4d_ipi_init(void);
smp4d_ipi_init    116 arch/sparc/kernel/sun4d_smp.c 	smp4d_ipi_init();