1 /*
2  * Copyright (c) 2016, 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 <stdint.h>
11 
12 #include <lib/xlat_tables/xlat_tables.h>
13 
14 void plat_configure_mmu_el3(unsigned long total_base,
15 					unsigned long total_size,
16 					unsigned long,
17 					unsigned long,
18 					unsigned long,
19 					unsigned long);
20 
21 void plat_cci_init(void);
22 void plat_cci_enable(void);
23 void plat_cci_disable(void);
24 
25 /* Declarations for plat_mt_gic.c */
26 void plat_mt_gic_init(void);
27 
28 /* Declarations for plat_topology.c */
29 int mt_setup_topology(void);
30 void plat_delay_timer_init(void);
31 
32 void plat_mt_gic_driver_init(void);
33 void plat_mt_gic_init(void);
34 void plat_mt_gic_cpuif_enable(void);
35 void plat_mt_gic_cpuif_disable(void);
36 void plat_mt_gic_pcpu_init(void);
37 
38 #endif /* PLAT_PRIVATE_H */
39