exynos_core_restart  151 arch/arm/mach-exynos/common.h extern void exynos_core_restart(u32 core_id);
exynos_core_restart  364 arch/arm/mach-exynos/platsmp.c 	exynos_core_restart(core_id);
exynos_core_restart  257 arch/arm/mach-exynos/pm.c 				exynos_core_restart(1);