RTC_BITS
rtc->rtc_dev->range_min = S64_MIN >> (RTC_SEC_SHIFT + (64 - RTC_BITS));
rtc->rtc_dev->range_max = S64_MAX >> (RTC_SEC_SHIFT + (64 - RTC_BITS));
now = sign_extend64(ctr + off, RTC_BITS - 1) >> RTC_SEC_SHIFT;