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 #include <linux/reboot.h>
18 void mct_init(void __iomem
*base
, int irq_g0
, int irq_l0
, int irq_l1
);
19 void exynos_init_time(void);
22 void exynos_init_io(void);
23 void exynos4_restart(enum reboot_mode mode
, const char *cmd
);
24 void exynos5_restart(enum reboot_mode mode
, const char *cmd
);
25 void exynos_init_late(void);
27 void exynos_firmware_init(void);
29 #ifdef CONFIG_PM_GENERIC_DOMAINS
30 int exynos_pm_late_initcall(void);
32 static inline int exynos_pm_late_initcall(void) { return 0; }
35 extern struct smp_operations exynos_smp_ops
;
37 extern void exynos_cpu_die(unsigned int cpu
);
39 /* PMU(Power Management Unit) support */
41 #define PMU_TABLE_END NULL
50 extern unsigned long l2x0_regs_phys
;
51 struct exynos_pmu_conf
{
53 unsigned int val
[NUM_SYS_POWERDOWN
];
56 extern void exynos_sys_powerdown_conf(enum sys_powerdown mode
);
58 #endif /* __ARCH_ARM_MACH_EXYNOS_COMMON_H */