Symbol: exynos_core_restart
arch/arm/mach-exynos/common.h
159
extern void exynos_core_restart(u32 core_id);
arch/arm/mach-exynos/platsmp.c
360
exynos_core_restart(core_id);
arch/arm/mach-exynos/pm.c
257
exynos_core_restart(1);