Lines Matching full:time_low
219 0x00 TIME_LOW R: Get current time, then return low-order 32-bits.
220 0x04 TIME_HIGH R: Return high 32-bits from previous TIME_LOW read.
232 To read the value, the kernel must perform an IO_READ(TIME_LOW), which returns
251 systems only use TIME_LOW / TIME_HIGH on this device.
266 0x00 TIME_LOW R: Get current time, then return low-order 32-bits.
267 0x04 TIME_HIGH R: Return high 32-bits, from previous TIME_LOW read.
