tick_offline_cpu   72 include/linux/tick.h extern void tick_offline_cpu(unsigned int cpu);
tick_offline_cpu  874 kernel/cpu.c   	tick_offline_cpu(cpu);