xref: /optee_os/core/include/console.h (revision 2f82082fada310cd58bcb8145d677144e9bfccaa)
11bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */
24de4bebcSJens Wiklander /*
34de4bebcSJens Wiklander  * Copyright (c) 2014, Linaro Limited
44de4bebcSJens Wiklander  */
54de4bebcSJens Wiklander 
64de4bebcSJens Wiklander #ifndef CONSOLE_H
74de4bebcSJens Wiklander #define CONSOLE_H
84de4bebcSJens Wiklander 
94dc31c52SJerome Forissier #include <compiler.h>
104dc31c52SJerome Forissier 
116ef34537SSY Chiu void console_init(void);
124de4bebcSJens Wiklander void console_putc(int ch);
13db886a7fSJerome Forissier void console_flush(void);
144de4bebcSJens Wiklander 
15756aea59SJerome Forissier struct serial_chip;
16756aea59SJerome Forissier void register_serial_console(struct serial_chip *chip);
17756aea59SJerome Forissier 
184dc31c52SJerome Forissier #ifdef CFG_DT
19*2f82082fSEdison Ai void configure_console_from_dt(void);
204dc31c52SJerome Forissier #else
21*2f82082fSEdison Ai static inline void configure_console_from_dt(void)
224dc31c52SJerome Forissier {}
234dc31c52SJerome Forissier #endif /* !CFG_DT */
244dc31c52SJerome Forissier 
254de4bebcSJens Wiklander #endif /* CONSOLE_H */
264de4bebcSJens Wiklander 
27