__cpu_hotplug_enable  367 kernel/cpu.c   	__cpu_hotplug_enable();
__cpu_hotplug_enable 1287 kernel/cpu.c   	__cpu_hotplug_enable();