1 /*
2  * Copyright (c) 2016 Rockchip Electronics Co., Ltd
3  *
4  * SPDX-License-Identifier:     GPL-2.0+
5  */
6 
7 #include <common.h>
8 #include <asm/armv8/mmu.h>
9 
10 static struct mm_region rk3399_mem_map[] = {
11 	{
12 		.virt = 0x0UL,
13 		.phys = 0x0UL,
14 		.size = 0x80000000UL,
15 		.attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
16 			 PTE_BLOCK_INNER_SHARE
17 	}, {
18 		.virt = 0xf0000000UL,
19 		.phys = 0xf0000000UL,
20 		.size = 0x10000000UL,
21 		.attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
22 			 PTE_BLOCK_NON_SHARE |
23 			 PTE_BLOCK_PXN | PTE_BLOCK_UXN
24 	}, {
25 		/* List terminator */
26 		0,
27 	}
28 };
29 
30 struct mm_region *mem_map = rk3399_mem_map;
31