/* Output a single byte to the serial port.  */
void serial_putc_dev(const char c, const int dev_index)
/* Output a single byte to the serial port.  */
void serial_putc_dev(const char c, const int dev_index)
{
	struct s5pc1xx_uart *const uart = s5pc1xx_get_base_uart(dev_index);
	while (!(readl(&uart->utrstat) & 0x2)) {
		if (serial_err_check(dev_index, 1))
			return;
	}
	writel(c, &uart->utxh);
	if (c == '\n')
		serial_putc('\r');
}