10 	u32 high;  in tsnep_get_system_time()  local
12 	/* read high dword twice to detect overrun */  in tsnep_get_system_time()
13 	high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);  in tsnep_get_system_time()
16 		high_before = high;  in tsnep_get_system_time()
17 		high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);  in tsnep_get_system_time()
18 	} while (high != high_before);  in tsnep_get_system_time()
19 	*time = (((u64)high) << 32) | ((u64)low);  in tsnep_get_system_time()
117 	/* high dword is buffered in hardware and synchronously written to  in tsnep_ptp_adjtime()
137 	u32 high;  in tsnep_ptp_gettimex64()  local
140 	/* read high dword twice to detect overrun */  in tsnep_ptp_gettimex64()
141 	high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);  in tsnep_ptp_gettimex64()
146 		high_before = high;  in tsnep_ptp_gettimex64()
147 		high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);  in tsnep_ptp_gettimex64()
148 	} while (high != high_before);  in tsnep_ptp_gettimex64()
149 	system_time = (((u64)high) << 32) | ((u64)low);  in tsnep_ptp_gettimex64()
166 	/* high dword is buffered in hardware and synchronously written to  in tsnep_ptp_settime64()
186 	u32 high;  in tsnep_ptp_getcyclesx64()  local
189 	/* read high dword twice to detect overrun */  in tsnep_ptp_getcyclesx64()
190 	high = ioread32(adapter->addr + ECM_COUNTER_HIGH);  in tsnep_ptp_getcyclesx64()
195 		high_before = high;  in tsnep_ptp_getcyclesx64()
196 		high = ioread32(adapter->addr + ECM_COUNTER_HIGH);  in tsnep_ptp_getcyclesx64()
197 	} while (high != high_before);  in tsnep_ptp_getcyclesx64()
198 	counter = (((u64)high) << 32) | ((u64)low);  in tsnep_ptp_getcyclesx64()