1 /* 2 * (c) Copyright 2010-2017 Xilinx, Inc. All rights reserved. 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #ifndef _ASM_ARCH_PS7_INIT_GPL_H 8 #define _ASM_ARCH_PS7_INIT_GPL_H 9 10 /* Called by spl.c */ 11 int ps7_init(void); 12 int ps7_post_config(void); 13 14 #endif /* _ASM_ARCH_PS7_INIT_GPL_H */ 15