| // SPDX-License-Identifier: GPL-2.0+ |
| * Copyright (C) 2018 Philippe Reynes <philippe.reynes@softathome.com> |
| #include <asm/armv8/mmu.h> |
| static struct mm_region broadcom_bcm968580xref_mem_map[] = { |
| .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) | |
| .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) | |
| PTE_BLOCK_PXN | PTE_BLOCK_UXN |
| struct mm_region *mem_map = broadcom_bcm968580xref_mem_map; |
| if (fdtdec_setup_mem_size_base() != 0) |
| printf("fdtdec_setup_mem_size_base() has failed\n"); |
| int dram_init_banksize(void) |
| fdtdec_setup_memory_banksize(); |