Lines Matching defs: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);
113 /* high dword is buffered in hardware and synchronously written to
133 u32 high;
136 /* read high dword twice to detect overrun */
137 high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);
142 high_before = high;
143 high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH);
144 } while (high != high_before);
145 system_time = (((u64)high) << 32) | ((u64)low);
162 /* high dword is buffered in hardware and synchronously written to
182 u32 high;
185 /* read high dword twice to detect overrun */
186 high = ioread32(adapter->addr + ECM_COUNTER_HIGH);
191 high_before = high;
192 high = ioread32(adapter->addr + ECM_COUNTER_HIGH);
193 } while (high != high_before);
194 counter = (((u64)high) << 32) | ((u64)low);