1 /* 2 * Copyright (c) 2014-2018, 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 15 void zynqmp_config_setup(void); 16 17 unsigned int zynqmp_calc_core_pos(u_register_t mpidr); 18 19 /* ZynqMP specific functions */ 20 unsigned int zynqmp_get_uart_clk(void); 21 unsigned int zynqmp_get_bootmode(void); 22 23 /* For FSBL handover */ 24 enum fsbl_handoff { 25 FSBL_HANDOFF_SUCCESS = 0, 26 FSBL_HANDOFF_NO_STRUCT, 27 FSBL_HANDOFF_INVAL_STRUCT, 28 FSBL_HANDOFF_TOO_MANY_PARTS, 29 }; 30 31 #if ZYNQMP_WDT_RESTART 32 /* 33 * Register handler to specific GIC entrance 34 * for INTR_TYPE_EL3 type of interrupt 35 */ 36 int request_intr_type_el3(uint32_t, interrupt_type_handler_t); 37 #endif 38 39 enum fsbl_handoff fsbl_atf_handover(entry_point_info_t *bl32_image_ep_info, 40 entry_point_info_t *bl33_image_ep_info); 41 42 #endif /* PLAT_PRIVATE_H */ 43