Searched refs:rtc_upper_32_bit_value (Results 1 – 1 of 1) sorted by relevance
260 uint32_t rtc_upper_32_bit_value; in MSS_RTC_set_binary_count() local262 rtc_upper_32_bit_value = (uint32_t)(new_rtc_value >> 32u) & MASK_32_BIT; in MSS_RTC_set_binary_count()265 ASSERT(rtc_upper_32_bit_value <= MAX_BINARY_HIGHER_COUNT); in MSS_RTC_set_binary_count()267 if (rtc_upper_32_bit_value <= MAX_BINARY_HIGHER_COUNT) in MSS_RTC_set_binary_count()
