Searched refs:second_high (Results 1 – 1 of 1) sorted by relevance
127 uint32_t second_high, second_low; in vr41xx_read_rtclong1_counter() local133 second_high = (uint32_t)read_rtc1(RTCL1CNTHREG); in vr41xx_read_rtclong1_counter()134 } while (first_low != second_low || first_high != second_high); in vr41xx_read_rtclong1_counter()148 uint32_t second_high, second_low; in vr41xx_read_rtclong2_counter() local154 second_high = (uint32_t)read_rtc1(RTCL2CNTHREG); in vr41xx_read_rtclong2_counter()155 } while (first_low != second_low || first_high != second_high); in vr41xx_read_rtclong2_counter()169 uint32_t second_high, second_low; in vr41xx_read_tclock_counter() local175 second_high = (uint32_t)read_rtc2(TCLKCNTHREG); in vr41xx_read_tclock_counter()176 } while (first_low != second_low || first_high != second_high); in vr41xx_read_tclock_counter()