2 * Copyright (c) 2013 Xilinx Inc.
4 * SPDX-License-Identifier: GPL-2.0+
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_gem_clk_setup(u32 gem_id, unsigned long clk_rate);
14 extern void zynq_slcr_devcfg_disable(void);
15 extern void zynq_slcr_devcfg_enable(void);
16 extern u32 zynq_slcr_get_boot_mode(void);
17 extern u32 zynq_slcr_get_idcode(void);
18 extern void zynq_ddrc_init(void);
20 /* Driver extern functions */
21 extern int zynq_sdhci_init(u32 regbase);
22 extern int zynq_sdhci_of_init(const void *blob);
24 #endif /* _SYS_PROTO_H_ */