RTC_CNTR0
RTC_PRINT(RTC_CNTR0);
reg = RTC_CNTR0;
rtc_read(RTC_CNTR0) << 24 |
rtc_write(RTC_CNTR0, (tvp->tv_sec >> 24) & 0xff);
secs = rtc_read(RTC_CNTR0) << 24 |