1 /*
2  * Copyright (c) 2014-2020, 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 <bl31/interrupt_mgmt.h>
13 #include <common/bl_common.h>
14 #include <drivers/cadence/cdns_uart.h>
15 
16 void zynqmp_config_setup(void);
17 
18 unsigned int zynqmp_calc_core_pos(u_register_t mpidr);
19 
20 /* ZynqMP specific functions */
21 unsigned int zynqmp_get_uart_clk(void);
22 unsigned int zynqmp_get_bootmode(void);
23 
24 
25 #if ZYNQMP_WDT_RESTART
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, interrupt_type_handler_t);
31 #endif
32 
33 #endif /* PLAT_PRIVATE_H */
34