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