RTC_REGC
(void) rtc_read(RTC_REGC);
(void) rtc_read(RTC_REGC);
events = rtc_read(RTC_REGC);
(void) rtc_read(RTC_REGC);
if (rtc_read(RTC_REGC) != 0) {
regc = rtc_read(RTC_REGC);