Symbol: hotplug_cpu__broadcast_tick_pull
include/linux/tick.h
55
extern void hotplug_cpu__broadcast_tick_pull(int dead_cpu);
kernel/cpu.c
1339
hotplug_cpu__broadcast_tick_pull(cpu);