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