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