tick_shutdown_broadcast 297 kernel/time/tick-broadcast.c void tick_shutdown_broadcast(unsigned int *cpup) tick_shutdown_broadcast 113 kernel/time/tick-internal.h static inline void tick_shutdown_broadcast(unsigned int *cpup) { }