1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
/* IBM_PROLOG_BEGIN_TAG */
/* This is an automatically generated prolog. */
/* */
/* $Source: src/include/usr/console/consoleif.H $ */
/* */
/* OpenPOWER HostBoot Project */
/* */
/* Contributors Listed Below - COPYRIGHT 2014,2017 */
/* [+] Google Inc. */
/* [+] International Business Machines Corp. */
/* */
/* */
/* Licensed under the Apache License, Version 2.0 (the "License"); */
/* you may not use this file except in compliance with the License. */
/* You may obtain a copy of the License at */
/* */
/* http://www.apache.org/licenses/LICENSE-2.0 */
/* */
/* Unless required by applicable law or agreed to in writing, software */
/* distributed under the License is distributed on an "AS IS" BASIS, */
/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or */
/* implied. See the License for the specific language governing */
/* permissions and limitations under the License. */
/* */
/* IBM_PROLOG_END_TAG */
#ifndef __CONSOLE_CONSOLEIF_H
#define __CONSOLE_CONSOLEIF_H
#include <config.h>
#include <stdarg.h>
namespace CONSOLE
{
/** @brief Display a string to the console.
*
* @param[in] - String to display.
*/
#if (defined(CONFIG_CONSOLE) && !defined(__HOSTBOOT_RUNTIME))
extern void display(const char*);
#else
inline void display(const char*) {};
#endif
/** @brief Display formatted string to the console.
*
* @param[in] - Header (or NULL).
* @param[in] - Format string.
*/
#if (defined(CONFIG_CONSOLE) && !defined(__HOSTBOOT_RUNTIME))
extern void displayf(const char*, const char*, ...);
#else
inline void displayf(const char*, const char*, ...) {};
#endif
/** @brief Display formatted string to the console.
*
* @param[in] - Header (or NULL).
* @param[in] - Format string.
* @param[in] - va_list of arguments.
*/
#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) {};
#endif
/** @brief Wait for console buffers to be flushed to device.
*/
#if (defined(CONFIG_CONSOLE) && !defined(__HOSTBOOT_RUNTIME))
extern void flush();
#else
inline void flush() {};
#endif
};
#endif
|
