smp4d_boot_one_cpu  121 arch/sparc/kernel/kernel.h int smp4d_boot_one_cpu(int i, struct task_struct *idle);
smp4d_boot_one_cpu  269 arch/sparc/kernel/smp_32.c 		ret = smp4d_boot_one_cpu(cpu, tidle);