2 * Copyright (c) 2011 Samsung Electronics Co., Ltd.
3 * http://www.samsung.com
5 * Common Header for EXYNOS machines
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.
12 #ifndef __ARCH_ARM_MACH_EXYNOS_COMMON_H
13 #define __ARCH_ARM_MACH_EXYNOS_COMMON_H
15 extern struct sys_timer exynos4_timer
;
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);
25 #ifdef CONFIG_PM_GENERIC_DOMAINS
26 int exynos_pm_late_initcall(void);
28 static int exynos_pm_late_initcall(void) { return 0; }
31 #ifdef CONFIG_ARCH_EXYNOS4
32 void exynos4_register_clocks(void);
33 void exynos4_setup_clocks(void);
36 #define exynos4_register_clocks()
37 #define exynos4_setup_clocks()
40 #ifdef CONFIG_ARCH_EXYNOS5
41 void exynos5_register_clocks(void);
42 void exynos5_setup_clocks(void);
45 #define exynos5_register_clocks()
46 #define exynos5_setup_clocks()
49 #ifdef CONFIG_CPU_EXYNOS4210
50 void exynos4210_register_clocks(void);
53 #define exynos4210_register_clocks()
56 #ifdef CONFIG_SOC_EXYNOS4212
57 void exynos4212_register_clocks(void);
60 #define exynos4212_register_clocks()
63 extern struct smp_operations exynos_smp_ops
;
65 extern void exynos_cpu_die(unsigned int cpu
);
67 #endif /* __ARCH_ARM_MACH_EXYNOS_COMMON_H */