tick_shutdown_broadcast 362 kernel/time/tick-common.c tick_shutdown_broadcast(dev); tick_shutdown_broadcast 88 kernel/time/tick-internal.h extern void tick_shutdown_broadcast(unsigned int *cpup);