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