1 /* 2 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef PLAT_PRIVATE_H 8 #define PLAT_PRIVATE_H 9 10 #include <common/bl_common.h> 11 12 #include "hi3798cv200.h" 13 14 void plat_configure_mmu_el3(unsigned long total_base, 15 unsigned long total_size, 16 unsigned long ro_start, 17 unsigned long ro_limit, 18 unsigned long coh_start, 19 unsigned long coh_limit); 20 21 void plat_configure_mmu_el1(unsigned long total_base, 22 unsigned long total_size, 23 unsigned long ro_start, 24 unsigned long ro_limit, 25 unsigned long coh_start, 26 unsigned long coh_limit); 27 28 void plat_io_setup(void); 29 30 unsigned int poplar_calc_core_pos(u_register_t mpidr); 31 32 void poplar_gic_driver_init(void); 33 void poplar_gic_init(void); 34 void poplar_gic_cpuif_enable(void); 35 void poplar_gic_pcpu_init(void); 36 37 #endif /* PLAT_PRIVATE_H */ 38