/* Configures the RTT to generate an alarm at the given time.  */
void RTT_SetAlarm(AT91S_RTTC *pRtt, unsigned int time)
/* Configures the RTT to generate an alarm at the given time.  */
void RTT_SetAlarm(AT91S_RTTC *pRtt, unsigned int time)
{
    SANITY_CHECK(time > 0);
    pRtt->RTTC_RTAR = time - 1;
}