/* Return 1 if a character can be read in DBGU.  */
unsigned int DBGU_IsRxReady()
/* Return 1 if a character can be read in DBGU.  */
unsigned int DBGU_IsRxReady()
{
    return (AT91C_BASE_DBGU->DBGU_CSR & AT91C_US_RXRDY);
}