2016-04-23 16:48:13 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2016 Samsung Electronics
|
|
|
|
* Thomas Abraham <thomas.ab@samsung.com>
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <common.h>
|
|
|
|
#include <asm/armv8/mmu.h>
|
|
|
|
|
|
|
|
DECLARE_GLOBAL_DATA_PTR;
|
|
|
|
|
|
|
|
#ifdef CONFIG_EXYNOS7420
|
|
|
|
static struct mm_region exynos7420_mem_map[] = {
|
|
|
|
{
|
2016-06-24 23:46:22 +00:00
|
|
|
.virt = 0x10000000UL,
|
|
|
|
.phys = 0x10000000UL,
|
2016-04-23 16:48:13 +00:00
|
|
|
.size = 0x10000000UL,
|
|
|
|
.attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
|
|
|
|
PTE_BLOCK_NON_SHARE |
|
|
|
|
PTE_BLOCK_PXN | PTE_BLOCK_UXN,
|
|
|
|
}, {
|
2016-06-24 23:46:22 +00:00
|
|
|
.virt = 0x40000000UL,
|
|
|
|
.phys = 0x40000000UL,
|
2016-04-23 16:48:13 +00:00
|
|
|
.size = 0x80000000UL,
|
|
|
|
.attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
|
|
|
|
PTE_BLOCK_INNER_SHARE,
|
|
|
|
}, {
|
|
|
|
/* List terminator */
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
struct mm_region *mem_map = exynos7420_mem_map;
|
|
|
|
#endif
|