12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879 |
- /*
- * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
- #include <assert.h>
- #include <errno.h>
- #include <arch_helpers.h>
- #include <common/bl_common.h>
- #include <common/debug.h>
- #include <drivers/delay_timer.h>
- #include <lib/mmio.h>
- #include <lib/xlat_tables/xlat_tables.h>
- #include <plat/common/platform.h>
- #include "hi3798cv200.h"
- #include "platform_def.h"
- #define MAP_DDR MAP_REGION_FLAT(DDR_BASE, \
- DDR_SIZE, \
- MT_MEMORY | MT_RW | MT_NS)
- #define MAP_DEVICE MAP_REGION_FLAT(DEVICE_BASE, \
- DEVICE_SIZE, \
- MT_DEVICE | MT_RW | MT_SECURE)
- #define MAP_TSP_MEM MAP_REGION_FLAT(TSP_SEC_MEM_BASE, \
- TSP_SEC_MEM_SIZE, \
- MT_MEMORY | MT_RW | MT_SECURE)
- #ifdef SPD_opteed
- #define MAP_OPTEE_PAGEABLE MAP_REGION_FLAT( \
- POPLAR_OPTEE_PAGEABLE_LOAD_BASE, \
- POPLAR_OPTEE_PAGEABLE_LOAD_SIZE, \
- MT_MEMORY | MT_RW | MT_SECURE)
- #endif
- static const mmap_region_t poplar_mmap[] = {
- MAP_DDR,
- MAP_DEVICE,
- MAP_TSP_MEM,
- #ifdef SPD_opteed
- MAP_OPTEE_PAGEABLE,
- #endif
- {0}
- };
- #define DEFINE_CONFIGURE_MMU_EL(_el) \
- void plat_configure_mmu_el##_el(unsigned long total_base, \
- unsigned long total_size, \
- unsigned long ro_start, \
- unsigned long ro_limit, \
- unsigned long coh_start, \
- unsigned long coh_limit) \
- { \
- mmap_add_region(total_base, total_base, \
- total_size, \
- MT_MEMORY | MT_RW | MT_SECURE); \
- mmap_add_region(ro_start, ro_start, \
- ro_limit - ro_start, \
- MT_MEMORY | MT_RO | MT_SECURE); \
- mmap_add_region(coh_start, coh_start, \
- coh_limit - coh_start, \
- MT_DEVICE | MT_RW | MT_SECURE); \
- mmap_add(poplar_mmap); \
- init_xlat_tables(); \
- \
- enable_mmu_el##_el(0); \
- }
- DEFINE_CONFIGURE_MMU_EL(3)
- DEFINE_CONFIGURE_MMU_EL(1)
- unsigned int plat_get_syscnt_freq2(void)
- {
- return SYS_COUNTER_FREQ_IN_TICKS;
- }
|