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 static struct mm_region rk3328_mem_map[] = {
17 .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) |
23 .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
25 PTE_BLOCK_PXN | PTE_BLOCK_UXN
32 struct mm_region *mem_map = rk3328_mem_map;
34 int arch_cpu_init(void)
36 /* We do some SoC one time setting here. */