hotplug_cpu__broadcast_tick_pull   49 include/linux/tick.h extern void hotplug_cpu__broadcast_tick_pull(int dead_cpu);
hotplug_cpu__broadcast_tick_pull  920 kernel/cpu.c   	hotplug_cpu__broadcast_tick_pull(cpu);