at91_rtc_read
at91_rtc_read(AT91_RTC_SR);
mask = at91_rtc_read(AT91_RTC_IMR);
time = at91_rtc_read(timereg);
date = at91_rtc_read(calreg);
} while ((time != at91_rtc_read(timereg)) ||
(date != at91_rtc_read(calreg)));
cr = at91_rtc_read(AT91_RTC_CR);
cr = at91_rtc_read(AT91_RTC_CR);
u32 mr = at91_rtc_read(AT91_RTC_MR);
mr = at91_rtc_read(AT91_RTC_MR);
rtsr = at91_rtc_read(AT91_RTC_SR) & at91_rtc_read_imr();
at91_rtc_write(AT91_RTC_MR, at91_rtc_read(AT91_RTC_MR) & ~AT91_RTC_HRMOD);