1// SPDX-License-Identifier: GPL-2.0+ 2 3#include <debug_uart.h> 4#include <asm/sbi.h> 5 6static inline void _debug_uart_init(void) 7{ 8} 9 10static inline void _debug_uart_putc(int c) 11{ 12 if (CONFIG_IS_ENABLED(RISCV_SMODE)) 13 sbi_console_putchar(c); 14} 15 16DEBUG_UART_FUNCS 17