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);