xen/dom0: set wallclock time in Xen
[pandora-kernel.git] / arch / arm / mach-exynos4 / include / mach / sysmmu.h
1 /* linux/arch/arm/mach-exynos4/include/mach/sysmmu.h
2  *
3  * Copyright (c) 2010-2011 Samsung Electronics Co., Ltd.
4  *              http://www.samsung.com
5  *
6  * Samsung sysmmu driver for EXYNOS4
7  *
8  * This program is free software; you can redistribute it and/or modify
9  * it under the terms of the GNU General Public License version 2 as
10  * published by the Free Software Foundation.
11 */
12
13 #ifndef __ASM_ARM_ARCH_SYSMMU_H
14 #define __ASM_ARM_ARCH_SYSMMU_H __FILE__
15
16 enum exynos4_sysmmu_ips {
17         SYSMMU_MDMA,
18         SYSMMU_SSS,
19         SYSMMU_FIMC0,
20         SYSMMU_FIMC1,
21         SYSMMU_FIMC2,
22         SYSMMU_FIMC3,
23         SYSMMU_JPEG,
24         SYSMMU_FIMD0,
25         SYSMMU_FIMD1,
26         SYSMMU_PCIe,
27         SYSMMU_G2D,
28         SYSMMU_ROTATOR,
29         SYSMMU_MDMA2,
30         SYSMMU_TV,
31         SYSMMU_MFC_L,
32         SYSMMU_MFC_R,
33         EXYNOS4_SYSMMU_TOTAL_IPNUM,
34 };
35
36 #define S5P_SYSMMU_TOTAL_IPNUM          EXYNOS4_SYSMMU_TOTAL_IPNUM
37
38 extern const char *sysmmu_ips_name[EXYNOS4_SYSMMU_TOTAL_IPNUM];
39
40 typedef enum exynos4_sysmmu_ips sysmmu_ips;
41
42 void sysmmu_clk_init(struct device *dev, sysmmu_ips ips);
43 void sysmmu_clk_enable(sysmmu_ips ips);
44 void sysmmu_clk_disable(sysmmu_ips ips);
45
46 #endif /* __ASM_ARM_ARCH_SYSMMU_H */