89 	uint32_t second_mid, second_low;  in read_elapsedtime_counter()  local
95 		second_low = (uint32_t)read_rtc1(ETIMELREG);  in read_elapsedtime_counter()
98 	} while (first_low != second_low || first_mid != second_mid ||  in read_elapsedtime_counter()
127 	uint32_t second_high, second_low;  in vr41xx_read_rtclong1_counter()  local
132 		second_low = (uint32_t)read_rtc1(RTCL1CNTLREG);  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()  local
153 		second_low = (uint32_t)read_rtc1(RTCL2CNTLREG);  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()  local
174 		second_low = (uint32_t)read_rtc2(TCLKCNTLREG);  in vr41xx_read_tclock_counter()
176 	} while (first_low != second_low || first_high != second_high);  in vr41xx_read_tclock_counter()