/* 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)
{
	switch (uart_index) {
		case FFUART_INDEX:
			while ((FFLSR & LSR_TEMT) == 0)
				WATCHDOG_RESET ();
			FFTHR = c;
			break;
		case BTUART_INDEX:
			while ((BTLSR & LSR_TEMT ) == 0 )
				WATCHDOG_RESET ();
			BTTHR = c;
			break;
		case STUART_INDEX:
			while ((STLSR & LSR_TEMT ) == 0 )
				WATCHDOG_RESET ();
			STTHR = c;
			break;
	}
	if (c == '\n')
		pxa_putc_dev (uart_index,'\r');
}