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