smp4d_boot_cpus   120 arch/sparc/kernel/kernel.h void __init smp4d_boot_cpus(void);
smp4d_boot_cpus   206 arch/sparc/kernel/smp_32.c 		smp4d_boot_cpus();