hrtimers_dead_cpu  534 include/linux/hrtimer.h int hrtimers_dead_cpu(unsigned int cpu);
hrtimers_dead_cpu 1401 kernel/cpu.c   		.teardown.single	= hrtimers_dead_cpu,