Function __uart_init

src/include/console/uart.h:76–79

#if __CONSOLE_SERIAL_ENABLE__
static inline void __uart_init(void)
{
	uart_init(get_uart_for_console());
}
static inline void __uart_tx_byte(u8 data)
{
	uart_tx_byte(get_uart_for_console(), data);