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