void UART1_Transmit_Byte ( unsigned char byte ){ while( (AT91C_BASE_US1->US_CSR & AT91C_US_TXRDY) == 0 ); AT91C_BASE_US1->US_THR = byte;}