Searched refs:platform_cpu_die (Results 1 – 3 of 3) sorted by relevance
15 void platform_cpu_die(void) in platform_cpu_die() function
46 void platform_cpu_die(void);
429 platform_cpu_die(); in cpu_die()