native_cpu_die   1382 arch/x86/kernel/smpboot.c void native_cpu_die(unsigned int cpu)
native_cpu_die   1429 arch/x86/kernel/smpboot.c void native_cpu_die(unsigned int cpu)