1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2016 Samsung Electronics
4 * Thomas Abraham <thomas.ab@samsung.com>
8 #include <asm/armv8/mmu.h>
10 #if IS_ENABLED(CONFIG_EXYNOS7420)
12 static struct mm_region exynos7420_mem_map[] = {
17 .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
19 PTE_BLOCK_PXN | PTE_BLOCK_UXN,
24 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
25 PTE_BLOCK_INNER_SHARE,
31 struct mm_region *mem_map = exynos7420_mem_map;
33 #elif CONFIG_IS_ENABLED(EXYNOS7870)
35 static struct mm_region exynos7870_mem_map[] = {
40 .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
42 PTE_BLOCK_PXN | PTE_BLOCK_UXN,
48 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
49 PTE_BLOCK_INNER_SHARE,
55 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
56 PTE_BLOCK_INNER_SHARE,
64 struct mm_region *mem_map = exynos7870_mem_map;
66 #elif CONFIG_IS_ENABLED(EXYNOS7880)
68 static struct mm_region exynos7880_mem_map[] = {
73 .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
75 PTE_BLOCK_PXN | PTE_BLOCK_UXN,
81 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
82 PTE_BLOCK_INNER_SHARE,
88 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
89 PTE_BLOCK_INNER_SHARE,
97 struct mm_region *mem_map = exynos7880_mem_map;