tick_broadcast_offline  455 kernel/time/tick-broadcast.c void tick_broadcast_offline(unsigned int cpu)
tick_broadcast_offline  143 kernel/time/tick-internal.h static inline void tick_broadcast_offline(unsigned int cpu) { }