1 /*
2  * Copyright 2021, Axel Heider <axelheider@gmx.de>
3  *
4  * SPDX-License-Identifier: GPL-2.0-or-later
5  */
6 
7 #pragma once
8 
9 #ifdef CONFIG_PRINTING
10 
11 void uart_drv_putchar(unsigned char c);
12 
uart_console_putchar(unsigned char c)13 static inline void uart_console_putchar(
14     unsigned char c)
15 {
16     /* UART console requires printing a '\r' (CR) before any '\n' (LF) */
17     if (c == '\n') {
18         uart_drv_putchar('\r');
19     }
20     uart_drv_putchar(c);
21 }
22 
23 #endif /* CONFIG_PRINTING */
24 
25 #ifdef CONFIG_DEBUG_BUILD
26 unsigned char uart_drv_getchar(void);
27 #endif
28