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 		.base	= 0x10000000UL,
17 		.size	= 0x10000000UL,
18 		.attrs	= PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
19 				PTE_BLOCK_NON_SHARE |
20 				PTE_BLOCK_PXN | PTE_BLOCK_UXN,
21 	}, {
22 		.base	= 0x40000000UL,
23 		.size	= 0x80000000UL,
24 		.attrs	= PTE_BLOCK_MEMTYPE(MT_NORMAL) |
25 				PTE_BLOCK_INNER_SHARE,
26 	}, {
27 		/* List terminator */
28 		.base	= 0,
29 		.size	= 0,
30 		.attrs	= 0,
31 	},
32 };
33 
34 struct mm_region *mem_map = exynos7420_mem_map;
35 #endif
36