Searched refs:platform_cpu_kill (Results 1 – 2 of 2) sorted by relevance
168 static int platform_cpu_kill(unsigned int cpu) in platform_cpu_kill() function259 if (!platform_cpu_kill(cpu)) in __cpu_die()
284 static void platform_cpu_kill(unsigned int cpu) in platform_cpu_kill() function300 platform_cpu_kill(cpu); in __cpu_die()