1 /* 2 * Copyright (c) 2014-2016, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef __ZYNQMP_PRIVATE_H__ 8 #define __ZYNQMP_PRIVATE_H__ 9 10 #include <interrupt_mgmt.h> 11 12 void zynqmp_config_setup(void); 13 14 /* ZynqMP specific functions */ 15 unsigned int zynqmp_get_uart_clk(void); 16 int zynqmp_is_pmu_up(void); 17 unsigned int zynqmp_get_bootmode(void); 18 19 /* For FSBL handover */ 20 void fsbl_atf_handover(entry_point_info_t *bl32_image_ep_info, 21 entry_point_info_t *bl33_image_ep_info); 22 23 #endif /* __ZYNQMP_PRIVATE_H__ */ 24