1 /*
2  * Copyright (c) 2013 Xilinx Inc.
3  *
4  * SPDX-License-Identifier:	GPL-2.0+
5  */
6 
7 #ifndef _SYS_PROTO_H_
8 #define _SYS_PROTO_H_
9 
10 extern void zynq_slcr_lock(void);
11 extern void zynq_slcr_unlock(void);
12 extern void zynq_slcr_cpu_reset(void);
13 extern void zynq_slcr_devcfg_disable(void);
14 extern void zynq_slcr_devcfg_enable(void);
15 extern u32 zynq_slcr_get_boot_mode(void);
16 extern u32 zynq_slcr_get_idcode(void);
17 extern int zynq_slcr_get_mio_pin_status(const char *periph);
18 extern void zynq_ddrc_init(void);
19 extern unsigned int zynq_get_silicon_version(void);
20 
21 int zynq_board_read_rom_ethaddr(unsigned char *ethaddr);
22 
23 /* Driver extern functions */
24 extern void ps7_init(void);
25 
26 #endif /* _SYS_PROTO_H_ */
27