2 * Copyright (C) 2016 Samsung Electronics
3 * Thomas Abraham <thomas.ab@samsung.com>
5 * SPDX-License-Identifier: GPL-2.0+
9 #include <asm/armv8/mmu.h>
11 DECLARE_GLOBAL_DATA_PTR;
13 #ifdef CONFIG_EXYNOS7420
14 static struct mm_region exynos7420_mem_map[] = {
18 .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
20 PTE_BLOCK_PXN | PTE_BLOCK_UXN,
24 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
25 PTE_BLOCK_INNER_SHARE,
34 struct mm_region *mem_map = exynos7420_mem_map;