1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
| /*
| * Copyright (C) 2016 Samsung Electronics
| * Thomas Abraham <thomas.ab@samsung.com>
| *
| * SPDX-License-Identifier: GPL-2.0+
| */
|
| #include <common.h>
| #include <asm/armv8/mmu.h>
|
| DECLARE_GLOBAL_DATA_PTR;
|
| #ifdef CONFIG_EXYNOS7420
| static struct mm_region exynos7420_mem_map[] = {
| {
| .virt = 0x10000000UL,
| .phys = 0x10000000UL,
| .size = 0x10000000UL,
| .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
| PTE_BLOCK_NON_SHARE |
| PTE_BLOCK_PXN | PTE_BLOCK_UXN,
| }, {
| .virt = 0x40000000UL,
| .phys = 0x40000000UL,
| .size = 0x80000000UL,
| .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
| PTE_BLOCK_INNER_SHARE,
| }, {
| /* List terminator */
| },
| };
|
| struct mm_region *mem_map = exynos7420_mem_map;
| #endif
|
|
