txx9_sio_putchar_init
void txx9_sio_putchar_init(unsigned long baseaddr);
txx9_sio_putchar_init(TX4927_SIO_REG(0) & 0xfffffffffULL);