34 static inline void __iomem *exynos_boot_vector_addr(void)  in exynos_boot_vector_addr()  argument
43 static inline void __iomem *exynos_boot_vector_flag(void)  in exynos_boot_vector_flag()  argument
57 void exynos_cpu_save_register(void)  in exynos_cpu_save_register()  argument
74 void exynos_cpu_restore_register(void)  in exynos_cpu_restore_register()  argument
93 void exynos_pm_central_suspend(void)  in exynos_pm_central_suspend()  argument
103 int exynos_pm_central_resume(void)  in exynos_pm_central_resume()  argument
160 void exynos_enter_aftr(void)  in exynos_enter_aftr()  argument
197 static int exynos_cpu0_enter_aftr(void)  in exynos_cpu0_enter_aftr()  argument
271 static int exynos_cpu1_powerdown(void)  in exynos_cpu1_powerdown()  argument
300 static void exynos_pre_enter_aftr(void)  in exynos_pre_enter_aftr()  argument
305 static void exynos_post_enter_aftr(void)  in exynos_post_enter_aftr()  argument