smpcfd_dead_cpu   241 include/linux/smp.h int smpcfd_dead_cpu(unsigned int cpu);
smpcfd_dead_cpu  1406 kernel/cpu.c   		.teardown.single	= smpcfd_dead_cpu,