deadcpu           945 kernel/time/tick-broadcast.c void hotplug_cpu__broadcast_tick_pull(int deadcpu)
deadcpu           953 kernel/time/tick-broadcast.c 	if (bc && broadcast_needs_cpu(bc, deadcpu)) {