linux_trap_ipi15_sun4d  134 arch/sparc/kernel/kernel.h extern unsigned int linux_trap_ipi15_sun4d[];
linux_trap_ipi15_sun4d  405 arch/sparc/kernel/sun4d_smp.c 	t_nmi[1] = t_nmi[1] + (linux_trap_ipi15_sun4d - linux_trap_ipi15_sun4m);