diff options
| -rw-r--r-- | lib/display_options.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/display_options.c b/lib/display_options.c index 80def5201f..d6b93553dc 100644 --- a/lib/display_options.c +++ b/lib/display_options.c @@ -4,14 +4,15 @@ * Wolfgang Denk, DENX Software Engineering, wd@denx.de. */ -#include <common.h> #include <compiler.h> #include <console.h> #include <display_options.h> #include <div64.h> #include <version_string.h> #include <linux/ctype.h> +#include <linux/kernel.h> #include <asm/io.h> +#include <vsprintf.h> char *display_options_get_banner_priv(bool newlines, const char *build_tag, char *buf, int size) |