Symbol: smp4m_boot_cpus
arch/sparc/kernel/kernel.h
108
void __init smp4m_boot_cpus(void);
arch/sparc/kernel/smp_32.c
196
smp4m_boot_cpus();