1 /*
2  * Copyright (c) 2018-2019, 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 <lib/xlat_tables/xlat_tables.h>
11 #include <bl31/interrupt_mgmt.h>
12 
13 void versal_config_setup(void);
14 
15 const mmap_region_t *plat_versal_get_mmap(void);
16 
17 void plat_versal_gic_driver_init(void);
18 void plat_versal_gic_init(void);
19 void plat_versal_gic_cpuif_enable(void);
20 void plat_versal_gic_cpuif_disable(void);
21 void plat_versal_gic_pcpu_init(void);
22 void plat_versal_gic_save(void);
23 void plat_versal_gic_resume(void);
24 
25 unsigned int versal_calc_core_pos(u_register_t mpidr);
26 /*
27  * Register handler to specific GIC entrance
28  * for INTR_TYPE_EL3 type of interrupt
29  */
30 int request_intr_type_el3(uint32_t irq, interrupt_type_handler_t fiq_handler);
31 
32 #endif /* PLAT_PRIVATE_H */
33