smp4m_boot_cpus    99 arch/sparc/kernel/kernel.h void __init smp4m_boot_cpus(void);
smp4m_boot_cpus   203 arch/sparc/kernel/smp_32.c 		smp4m_boot_cpus();