MIO_UART0_RBR
octeon_xkphys_write_8(MIO_UART0_RBR, (uint8_t)c);
c = (uint8_t)octeon_xkphys_read_8(MIO_UART0_RBR);