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