1 /* 2 * Copyright (c) 2011 Samsung Electronics Co., Ltd. 3 * http://www.samsung.com 4 * 5 * Common Header for EXYNOS machines 6 * 7 * This program is free software; you can redistribute it and/or modify 8 * it under the terms of the GNU General Public License version 2 as 9 * published by the Free Software Foundation. 10 */ 11 12 #ifndef __ARCH_ARM_MACH_EXYNOS_COMMON_H 13 #define __ARCH_ARM_MACH_EXYNOS_COMMON_H 14 15 extern struct sys_timer exynos4_timer; 16 17 struct map_desc; 18 void exynos_init_io(struct map_desc *mach_desc, int size); 19 void exynos4_init_irq(void); 20 void exynos5_init_irq(void); 21 void exynos4_restart(char mode, const char *cmd); 22 void exynos5_restart(char mode, const char *cmd); 23 void exynos_init_late(void); 24 25 #ifdef CONFIG_PM_GENERIC_DOMAINS 26 int exynos_pm_late_initcall(void); 27 #else 28 static int exynos_pm_late_initcall(void) { return 0; } 29 #endif 30 31 #ifdef CONFIG_ARCH_EXYNOS4 32 void exynos4_register_clocks(void); 33 void exynos4_setup_clocks(void); 34 35 #else 36 #define exynos4_register_clocks() 37 #define exynos4_setup_clocks() 38 #endif 39 40 #ifdef CONFIG_ARCH_EXYNOS5 41 void exynos5_register_clocks(void); 42 void exynos5_setup_clocks(void); 43 44 #else 45 #define exynos5_register_clocks() 46 #define exynos5_setup_clocks() 47 #endif 48 49 #ifdef CONFIG_CPU_EXYNOS4210 50 void exynos4210_register_clocks(void); 51 52 #else 53 #define exynos4210_register_clocks() 54 #endif 55 56 #ifdef CONFIG_SOC_EXYNOS4212 57 void exynos4212_register_clocks(void); 58 59 #else 60 #define exynos4212_register_clocks() 61 #endif 62 63 extern struct smp_operations exynos_smp_ops; 64 65 extern void exynos_cpu_die(unsigned int cpu); 66 67 #endif /* __ARCH_ARM_MACH_EXYNOS_COMMON_H */ 68