1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2016 Samsung Electronics
4 * Thomas Abraham <thomas.ab@samsung.com>
8 #include <asm/armv8/mmu.h>
10 #ifdef CONFIG_EXYNOS7420
11 static struct mm_region exynos7420_mem_map[] = {
16 .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
18 PTE_BLOCK_PXN | PTE_BLOCK_UXN,
23 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
24 PTE_BLOCK_INNER_SHARE,
30 struct mm_region *mem_map = exynos7420_mem_map;