diff options
| -rw-r--r-- | src/include/usr/console/consoleif.H | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/include/usr/console/consoleif.H b/src/include/usr/console/consoleif.H index 7ae92ed7a..497252ded 100644 --- a/src/include/usr/console/consoleif.H +++ b/src/include/usr/console/consoleif.H @@ -5,7 +5,7 @@ /* */ /* OpenPOWER HostBoot Project */ /* */ -/* Contributors Listed Below - COPYRIGHT 2014,2015 */ +/* Contributors Listed Below - COPYRIGHT 2014,2017 */ /* [+] Google Inc. */ /* [+] International Business Machines Corp. */ /* */ @@ -36,7 +36,7 @@ namespace CONSOLE * * @param[in] - String to display. */ -#ifdef CONFIG_CONSOLE +#if (defined(CONFIG_CONSOLE) && !defined(__HOSTBOOT_RUNTIME)) extern void display(const char*); #else inline void display(const char*) {}; @@ -47,7 +47,7 @@ namespace CONSOLE * @param[in] - Header (or NULL). * @param[in] - Format string. */ -#ifdef CONFIG_CONSOLE +#if (defined(CONFIG_CONSOLE) && !defined(__HOSTBOOT_RUNTIME)) extern void displayf(const char*, const char*, ...); #else inline void displayf(const char*, const char*, ...) {}; @@ -59,7 +59,7 @@ namespace CONSOLE * @param[in] - Format string. * @param[in] - va_list of arguments. */ -#ifdef CONFIG_CONSOLE +#if (defined(CONFIG_CONSOLE) && !defined(__HOSTBOOT_RUNTIME)) extern void vdisplayf(const char*, const char*, va_list); #else inline void vdisplayf(const char*, const char*, va_list) {}; @@ -68,7 +68,7 @@ namespace CONSOLE /** @brief Wait for console buffers to be flushed to device. */ -#ifdef CONFIG_CONSOLE +#if (defined(CONFIG_CONSOLE) && !defined(__HOSTBOOT_RUNTIME)) extern void flush(); #else inline void flush() {}; @@ -76,4 +76,5 @@ namespace CONSOLE }; + #endif |
