arch_cpuhp_cleanup_kick_cpu
arch_cpuhp_cleanup_kick_cpu(cpu);
void arch_cpuhp_cleanup_kick_cpu(unsigned int cpu);