platform_cpu_kill  291 arch/arm/kernel/smp.c 	if (!platform_cpu_kill(cpu))
platform_cpu_kill  316 arch/xtensa/kernel/smp.c 			platform_cpu_kill(cpu);