exynos_cpu_power_state
extern int exynos_cpu_power_state(int cpu);
if ((exynos_cpu_power_state(cpunr) == 0))
state = exynos_cpu_power_state(cpunr);
if (!exynos_cpu_power_state(core_id)) {
while (exynos_cpu_power_state(core_id)
while (exynos_cpu_power_state(1)) {
while (exynos_cpu_power_state(1) != S5P_CORE_LOCAL_PWR_EN)