Symbol: platform_cpu_kill
arch/arm/kernel/smp.c
206
static int platform_cpu_kill(unsigned int cpu)
arch/xtensa/kernel/smp.c
301
static void platform_cpu_kill(unsigned int cpu)