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