diff --git a/board/xilinx/common/board.c b/board/xilinx/common/board.c
index 7e6340bad6..b1853a87a2 100644
--- a/board/xilinx/common/board.c
+++ b/board/xilinx/common/board.c
@@ -7,6 +7,7 @@
 #include <common.h>
 #include <dm/uclass.h>
 #include <i2c.h>
+#include <mach/sys_proto.h>
 
 int zynq_board_read_rom_ethaddr(unsigned char *ethaddr)
 {
diff --git a/board/xilinx/zynqmp/tap_delays.c b/board/xilinx/zynqmp/tap_delays.c
index 3788d672fa..4486ff1616 100644
--- a/board/xilinx/zynqmp/tap_delays.c
+++ b/board/xilinx/zynqmp/tap_delays.c
@@ -6,6 +6,7 @@
  */
 
 #include <common.h>
+#include <zynqmp_tap_delay.h>
 #include <asm/arch/sys_proto.h>
 
 #define SD_DLL_CTRL			0xFF180358