/* Tries to transmit a character. If the TX fifo is not ready the result is undefined.  */
static void ug_raw_putc(char ch)
/* Tries to transmit a character. If the TX fifo is not ready the result is undefined.  */
static void ug_raw_putc(char ch)
{
	ug_io_transaction(0xb0000000 | (ch << 20));
}