RTC_CNTR1
RTC_PRINT(RTC_CNTR1);
rtc_read(RTC_CNTR1) << 16 |
rtc_write(RTC_CNTR1, (tvp->tv_sec >> 16) & 0xff);