1 /*
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 
11 #ifdef CONFIG_EXYNOS7420
12 static struct mm_region exynos7420_mem_map[] = {
13 	{
14 		.virt	= 0x10000000UL,
15 		.phys	= 0x10000000UL,
16 		.size	= 0x10000000UL,
17 		.attrs	= PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
18 				PTE_BLOCK_NON_SHARE |
19 				PTE_BLOCK_PXN | PTE_BLOCK_UXN,
20 	}, {
21 		.virt	= 0x40000000UL,
22 		.phys	= 0x40000000UL,
23 		.size	= 0x80000000UL,
24 		.attrs	= PTE_BLOCK_MEMTYPE(MT_NORMAL) |
25 				PTE_BLOCK_INNER_SHARE,
26 	}, {
27 		/* List terminator */
28 	},
29 };
30 
31 struct mm_region *mem_map = exynos7420_mem_map;
32 #endif
33