Go to the documentation of this file.
12 #ifndef _ARM_MACH_EXYNOS_SYSMMU_H_
13 #define _ARM_MACH_EXYNOS_SYSMMU_H_
21 #define SYSMMU_DEVNAME_BASE "exynos-sysmmu"
23 #define SYSMMU_CLOCK_NAME "sysmmu"
24 #define SYSMMU_CLOCK_NAME2 "sysmmu_mc"
26 #ifdef CONFIG_EXYNOS_DEV_SYSMMU
27 #include <linux/device.h>
30 #define SYSMMU_PLATDEV(ipname) exynos_device_sysmmu_##ipname
52 #ifdef CONFIG_IOMMU_API
61 #define platform_set_sysmmu(sysmmu, dev) do { } while (0)
64 #define SYSMMU_CLOCK_DEVNAME(ipname, id) (SYSMMU_DEVNAME_BASE "." #id)