Symbol: hotplug_cpu__broadcast_tick_pull
include/linux/tick.h
57
static inline void hotplug_cpu__broadcast_tick_pull(int dead_cpu) { }
kernel/time/tick-broadcast.c
1144
void hotplug_cpu__broadcast_tick_pull(int deadcpu)