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