AT91_RTC_IDR
writel(AT91_RTC_IRQ_MASK, regs + AT91_RTC_IDR);
at91_rtc_write(AT91_RTC_IDR, mask);
at91_rtc_write(AT91_RTC_IDR, AT91_RTC_ACKUPD | AT91_RTC_ALARM |