79 #define read_rtc1(offset)	readw(rtc1_base + (offset))  macro
92 		first_low = (uint32_t)read_rtc1(ETIMELREG);  in read_elapsedtime_counter()
93 		first_mid = (uint32_t)read_rtc1(ETIMEMREG);  in read_elapsedtime_counter()
94 		first = (uint64_t)read_rtc1(ETIMEHREG);  in read_elapsedtime_counter()
95 		second_low = (uint32_t)read_rtc1(ETIMELREG);  in read_elapsedtime_counter()
96 		second_mid = (uint32_t)read_rtc1(ETIMEMREG);  in read_elapsedtime_counter()
97 		second = (uint64_t)read_rtc1(ETIMEHREG);  in read_elapsedtime_counter()
130 		first_low = (uint32_t)read_rtc1(RTCL1CNTLREG);  in vr41xx_read_rtclong1_counter()
131 		first_high = (uint32_t)read_rtc1(RTCL1CNTHREG);  in vr41xx_read_rtclong1_counter()
132 		second_low = (uint32_t)read_rtc1(RTCL1CNTLREG);  in vr41xx_read_rtclong1_counter()
133 		second_high = (uint32_t)read_rtc1(RTCL1CNTHREG);  in vr41xx_read_rtclong1_counter()
151 		first_low = (uint32_t)read_rtc1(RTCL2CNTLREG);  in vr41xx_read_rtclong2_counter()
152 		first_high = (uint32_t)read_rtc1(RTCL2CNTHREG);  in vr41xx_read_rtclong2_counter()
153 		second_low = (uint32_t)read_rtc1(RTCL2CNTLREG);  in vr41xx_read_rtclong2_counter()
154 		second_high = (uint32_t)read_rtc1(RTCL2CNTHREG);  in vr41xx_read_rtclong2_counter()