Texas Instruments OMAP5912 Reference Manual page 1061

Operating System Timer
Table 53. Tick Value Register (TICK_VALUE_REG)
Bit Name
31:24 RESERVED
23:0 TICK_VALUE_REG
Table 54. Tick Counter Register (TICK_COUNTER_REG)
Bit Name
31:24 RESERVED
23:0 TICK_COUNTER_REG
58 Timers
Base Address = 0xFFFB 9000, Offset = 0x00
Function
Reserved
Value is loaded when the timer reaches 0 or when
it starts.
Writes to this register must be separated by at least one 32-kHz clock period.
Setting TICK_VALUE_REG to 0, and then loading the counter with this value
leads to unpredictable results.
Base Address = 0xFFFB 9000, Offset = 0x04
Function
Reserved
Value of timer
When reading this register, the high-speed clock must be running. If not, the
value read is not ensured.
R/W Reset
R 0x00
R/W 0xFFFFFF
R/W Reset
R 0x0
R 0xFFFFFF
SPRU759B