timers_dead_cpu   220 include/linux/timer.h int timers_dead_cpu(unsigned int cpu);
timers_dead_cpu  1431 kernel/cpu.c   		.teardown.single	= timers_dead_cpu,