hotplug_cpu__broadcast_tick_pull 51 include/linux/tick.h static inline void hotplug_cpu__broadcast_tick_pull(int dead_cpu) { } hotplug_cpu__broadcast_tick_pull 945 kernel/time/tick-broadcast.c void hotplug_cpu__broadcast_tick_pull(int deadcpu)