rcutree_dead_cpu   64 include/linux/rcutree.h int rcutree_dead_cpu(unsigned int cpu);
rcutree_dead_cpu 1421 kernel/cpu.c   		.teardown.single	= rcutree_dead_cpu,