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);