Searched refs:exynos_core_restart (Results 1 – 3 of 3) sorted by relevance
198 void exynos_core_restart(u32 core_id) in exynos_core_restart() function343 exynos_core_restart(core_id); in exynos_boot_secondary()
172 extern void exynos_core_restart(u32 core_id);
266 exynos_core_restart(1); in exynos_cpu0_enter_aftr()