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