exynos_cpu_power_up
extern void exynos_cpu_power_up(int cpu);
exynos_cpu_power_up(cpunr);
exynos_cpu_power_up(core_id);
exynos_cpu_power_up(1);