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