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);