do_boot_cpu       745 arch/ia64/kernel/smpboot.c 	ret = do_boot_cpu(sapicid, cpu, tidle);
do_boot_cpu      1179 arch/x86/kernel/smpboot.c 	err = do_boot_cpu(apicid, cpu, tidle, &cpu0_nmi_registered);