blob: b32c6b5f42314118d9f2e5fc511ecc0ce67509d7 [file] [log] [blame]
Kukjin Kimcc511b82011-12-27 08:18:36 +01001/*
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
Kukjin Kim906c7892012-02-11 21:27:08 +090015extern struct sys_timer exynos4_timer;
16
Kukjin Kimcc511b82011-12-27 08:18:36 +010017void exynos_init_io(struct map_desc *mach_desc, int size);
18void exynos4_init_irq(void);
Kukjin Kim906c7892012-02-11 21:27:08 +090019void exynos4_restart(char mode, const char *cmd);
Kukjin Kimcc511b82011-12-27 08:18:36 +010020
Kukjin Kima8550392012-03-09 14:19:10 -080021#ifdef CONFIG_ARCH_EXYNOS4
Kukjin Kimcc511b82011-12-27 08:18:36 +010022void exynos4_register_clocks(void);
23void exynos4_setup_clocks(void);
24
Kukjin Kima8550392012-03-09 14:19:10 -080025#else
26#define exynos4_register_clocks()
27#define exynos4_setup_clocks()
Kukjin Kima8550392012-03-09 14:19:10 -080028#endif
29
Kukjin Kim906c7892012-02-11 21:27:08 +090030#ifdef CONFIG_CPU_EXYNOS4210
31void exynos4210_register_clocks(void);
Kukjin Kimcc511b82011-12-27 08:18:36 +010032
33#else
Kukjin Kim906c7892012-02-11 21:27:08 +090034#define exynos4210_register_clocks()
35#endif
36
37#ifdef CONFIG_SOC_EXYNOS4212
38void exynos4212_register_clocks(void);
39
40#else
41#define exynos4212_register_clocks()
Kukjin Kimcc511b82011-12-27 08:18:36 +010042#endif
43
44#endif /* __ARCH_ARM_MACH_EXYNOS_COMMON_H */