1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Copyright (C) 2016 Samsung Electronics 4 * Thomas Abraham <thomas.ab@samsung.com> 5 */ 6 7 #include <common.h> 8 #include <asm/armv8/mmu.h> 9 10 #ifdef CONFIG_EXYNOS7420 11 static struct mm_region exynos7420_mem_map[] = { 12 { 13 .virt = 0x10000000UL, 14 .phys = 0x10000000UL, 15 .size = 0x10000000UL, 16 .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) | 17 PTE_BLOCK_NON_SHARE | 18 PTE_BLOCK_PXN | PTE_BLOCK_UXN, 19 }, { 20 .virt = 0x40000000UL, 21 .phys = 0x40000000UL, 22 .size = 0x80000000UL, 23 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) | 24 PTE_BLOCK_INNER_SHARE, 25 }, { 26 /* List terminator */ 27 }, 28 }; 29 30 struct mm_region *mem_map = exynos7420_mem_map; 31 #endif 32