diff --git a/arch/arm/include/asm/arch-zynq/spl.h b/arch/arm/include/asm/arch-zynq/spl.h
index 5789d28bb3ed8bdfd96a99adc2d60ac6960636e2..17f37cb8eb61ee95ad30589fb397f25142ad826d 100644
--- a/arch/arm/include/asm/arch-zynq/spl.h
+++ b/arch/arm/include/asm/arch-zynq/spl.h
@@ -6,8 +6,6 @@
 #ifndef	_ASM_ARCH_SPL_H_
 #define	_ASM_ARCH_SPL_H_
 
-extern void ps7_init(void);
-
 #define BOOT_DEVICE_NONE	0
 #define BOOT_DEVICE_RAM		1
 #define BOOT_DEVICE_SPI		2
diff --git a/arch/arm/include/asm/arch-zynq/sys_proto.h b/arch/arm/include/asm/arch-zynq/sys_proto.h
index 53c30ec6cf3a3b3b92c62d0150a3019dc0428751..89c47f3bd3fa2b87bbea973515b61c8e185ae806 100644
--- a/arch/arm/include/asm/arch-zynq/sys_proto.h
+++ b/arch/arm/include/asm/arch-zynq/sys_proto.h
@@ -23,4 +23,6 @@ extern unsigned int zynq_get_silicon_version(void);
 extern int zynq_sdhci_init(u32 regbase);
 extern int zynq_sdhci_of_init(const void *blob);
 
+extern void ps7_init(void);
+
 #endif /* _SYS_PROTO_H_ */