Searched refs:first_high (Results 1 – 1 of 1) sorted by relevance
126 uint32_t first_high, first_low; in vr41xx_read_rtclong1_counter() local131 first_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()136 return (first_high << 16) | first_low; in vr41xx_read_rtclong1_counter()147 uint32_t first_high, first_low; in vr41xx_read_rtclong2_counter() local152 first_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()157 return (first_high << 16) | first_low; in vr41xx_read_rtclong2_counter()168 uint32_t first_high, first_low; in vr41xx_read_tclock_counter() local173 first_high = (uint32_t)read_rtc2(TCLKCNTHREG); in vr41xx_read_tclock_counter()[all …]