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,