2 * (c) Copyright 2010-2017 Xilinx, Inc. All rights reserved.
4 * SPDX-License-Identifier: GPL-2.0+
9 #include <asm/arch/ps7_init_gpl.h>
11 __weak int ps7_init(void)
14 * This function is overridden by the one in
15 * board/xilinx/zynq/(platform)/ps7_init_gpl.c, if it exists.
20 __weak int ps7_post_config(void)
23 * This function is overridden by the one in
24 * board/xilinx/zynq/(platform)/ps7_init_gpl.c, if it exists.