arch_cpuhp_cleanup_dead_cpu
void arch_cpuhp_cleanup_dead_cpu(unsigned int cpu);
arch_cpuhp_cleanup_dead_cpu(cpu);