| Samuel Holland | 4c33c26 | 2021-09-12 10:56:09 -0500 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0+ |
| 2 | |||||
| 3 | #include <debug_uart.h> | ||||
| 4 | #include <asm/sbi.h> | ||||
| 5 | |||||
| 6 | static inline void _debug_uart_init(void) | ||||
| 7 | { | ||||
| 8 | } | ||||
| 9 | |||||
| 10 | static inline void _debug_uart_putc(int c) | ||||
| 11 | { | ||||
| 12 | if (CONFIG_IS_ENABLED(RISCV_SMODE)) | ||||
| 13 | sbi_console_putchar(c); | ||||
| 14 | } | ||||
| 15 | |||||
| 16 | DEBUG_UART_FUNCS | ||||