drivers/serial/serial_sbi.c

   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