Searched refs:platform_cpu_kill (Results 1 – 1 of 1) sorted by relevance
301 static void platform_cpu_kill(unsigned int cpu) in platform_cpu_kill() function319 platform_cpu_kill(cpu); in __cpu_die()