do_boot_cpu       461 arch/ia64/kernel/smpboot.c do_boot_cpu (int sapicid, int cpu, struct task_struct *idle)
do_boot_cpu      1031 arch/x86/kernel/smpboot.c static int do_boot_cpu(int apicid, int cpu, struct task_struct *idle,