2 * Copyright (c) 2016 Rockchip Electronics Co., Ltd
4 * SPDX-License-Identifier: GPL-2.0+
8 #include <asm/arch/hardware.h>
9 #include <asm/armv8/mmu.h>
12 DECLARE_GLOBAL_DATA_PTR;
14 static struct mm_region rk3328_mem_map[] = {
19 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
25 .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
27 PTE_BLOCK_PXN | PTE_BLOCK_UXN
34 struct mm_region *mem_map = rk3328_mem_map;
36 int dram_init_banksize(void)
38 size_t max_size = min((unsigned long)gd->ram_size, gd->ram_top);
40 /* Reserve 0x200000 for ATF bl31 */
41 gd->bd->bi_dram[0].start = 0x200000;
42 gd->bd->bi_dram[0].size = max_size - gd->bd->bi_dram[0].start;
47 int arch_cpu_init(void)
49 /* We do some SoC one time setting here. */