unsigned char uart_rx_byte(int idx) { return uart8250_rx_byte(uart_platform_base(idx)); }
static unsigned char ttyS0_rx_byte(void) { return uart8250_rx_byte(CONFIG_TTYS0_BASE); }