Searched refs:platform_cpu_kill (Results 1 – 1 of 1) sorted by relevance
139 static int platform_cpu_kill(unsigned int cpu) in platform_cpu_kill() function222 if (!platform_cpu_kill(cpu)) in __cpu_die()