/* Output a single byte to the serial port.  */
void pxa_putc_dev(unsigned int uart_index, const char c)
/* Output a single byte to the serial port.  */
void pxa_putc_dev(unsigned int uart_index, const char c)
{
	struct pxa_uart_regs *uart_regs;
	if (c == '\n')
		pxa_putc_dev(uart_index, '\r');
	uart_regs = pxa_uart_index_to_regs(uart_index);
	if (!uart_regs)
		hang();
	while (!(readl(&uart_regs->lsr) & LSR_TEMT))
		WATCHDOG_RESET();
	writel(c, &uart_regs->thr);
}