void ISO7816_RestartClock(void) { TRACE_DEBUG("ISO7816_RestartClock\n\r"); AT91C_BASE_US0->US_BRGR = 13; }