1 /* 2 * Copyright (c) 2014-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 <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 /* For FSBL handover */ 25 enum fsbl_handoff { 26 FSBL_HANDOFF_SUCCESS = 0, 27 FSBL_HANDOFF_NO_STRUCT, 28 FSBL_HANDOFF_INVAL_STRUCT, 29 FSBL_HANDOFF_TOO_MANY_PARTS, 30 }; 31 32 #if ZYNQMP_WDT_RESTART 33 /* 34 * Register handler to specific GIC entrance 35 * for INTR_TYPE_EL3 type of interrupt 36 */ 37 int request_intr_type_el3(uint32_t, interrupt_type_handler_t); 38 #endif 39 40 enum fsbl_handoff fsbl_atf_handover(entry_point_info_t *bl32_image_ep_info, 41 entry_point_info_t *bl33_image_ep_info); 42 43 #endif /* PLAT_PRIVATE_H */ 44