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