blob: 677b5467df186298ecd2a8f0046e4e6f46c9fdc5 [file] [log] [blame]
yuezonghe824eb0c2024-06-27 02:32:26 -07001/*
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
15extern struct sys_timer exynos4_timer;
16
17void exynos_init_io(struct map_desc *mach_desc, int size);
18void exynos4_init_irq(void);
19void exynos5_init_irq(void);
20void exynos4_restart(char mode, const char *cmd);
21void exynos5_restart(char mode, const char *cmd);
22
23#ifdef CONFIG_ARCH_EXYNOS4
24void exynos4_register_clocks(void);
25void exynos4_setup_clocks(void);
26
27#else
28#define exynos4_register_clocks()
29#define exynos4_setup_clocks()
30#endif
31
32#ifdef CONFIG_ARCH_EXYNOS5
33void exynos5_register_clocks(void);
34void exynos5_setup_clocks(void);
35
36#else
37#define exynos5_register_clocks()
38#define exynos5_setup_clocks()
39#endif
40
41#ifdef CONFIG_CPU_EXYNOS4210
42void exynos4210_register_clocks(void);
43
44#else
45#define exynos4210_register_clocks()
46#endif
47
48#ifdef CONFIG_SOC_EXYNOS4212
49void exynos4212_register_clocks(void);
50
51#else
52#define exynos4212_register_clocks()
53#endif
54
55#endif /* __ARCH_ARM_MACH_EXYNOS_COMMON_H */