cpu_hotplug_done  282 kernel/cpu.c   	cpu_hotplug_done();
cpu_hotplug_done  362 kernel/cpu.c   	cpu_hotplug_done();