Searched refs:platform_cpu_kill (Results 1 – 2 of 2) sorted by relevance
175 static int platform_cpu_kill(unsigned int cpu) in platform_cpu_kill() function265 if (!platform_cpu_kill(cpu)) in __cpu_die()
287 static void platform_cpu_kill(unsigned int cpu) in platform_cpu_kill() function303 platform_cpu_kill(cpu); in __cpu_die()
