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) { }