diff --git a/board/xilinx/common/cpu-info.c b/board/xilinx/common/cpu-info.c
index 4a863d00de..4eccc7abbe 100644
--- a/board/xilinx/common/cpu-info.c
+++ b/board/xilinx/common/cpu-info.c
@@ -5,6 +5,7 @@
  */
 
 #include <common.h>
+#include <init.h>
 #include <soc.h>
 
 int print_cpuinfo(void)