Symbol: smpcfd_dead_cpu
include/linux/smp.h
300
int smpcfd_dead_cpu(unsigned int cpu);
kernel/cpu.c
2077
.teardown.single = smpcfd_dead_cpu,