platform_cpu_kill  199 arch/arm/kernel/smp.c static int platform_cpu_kill(unsigned int cpu)
platform_cpu_kill  298 arch/xtensa/kernel/smp.c static void platform_cpu_kill(unsigned int cpu)