tick_shutdown     640 kernel/time/clockevents.c 	tick_shutdown(cpu);
tick_shutdown      24 kernel/time/tick-internal.h extern void tick_shutdown(unsigned int cpu);