diff --git a/lib/display_options.c b/lib/display_options.c
index 74f769d9ff..1dd5b6affd 100644
--- a/lib/display_options.c
+++ b/lib/display_options.c
@@ -5,6 +5,7 @@
  */
 
 #include <common.h>
+#include <compiler.h>
 #include <console.h>
 #include <div64.h>
 #include <version.h>