Searched refs:exynos_core_restart (Results 1 – 1 of 1) sorted by relevance
198 static void exynos_core_restart(u32 core_id) in exynos_core_restart() function294 exynos_core_restart(core_id); in exynos_boot_secondary()