tick_cleanup_dead_cpu   22 include/linux/tick.h extern void tick_cleanup_dead_cpu(int cpu);
tick_cleanup_dead_cpu  924 kernel/cpu.c   	tick_cleanup_dead_cpu(cpu);