Function __uart_tx_byte

src/include/console/uart.h:80–83

	uart_init(get_uart_for_console());
}
static inline void __uart_tx_byte(u8 data)
{
	uart_tx_byte(get_uart_for_console(), data);
}
static inline void __uart_tx_flush(void)
{
	uart_tx_flush(get_uart_for_console());