WKT COUNT addressOffset = 0x00C

Do not write to this register while the counting is in progress.

Note: In general, reading the timer state is not recommended. There is no mechanism to ensure that some bits of this register don't change while a read is in progress if the read happens to coincide with an self wake-up timer clock edge. If you must read this value, it is recommended to read it twice in succession.
Table 1. WKT registerName = COUNT addressOffset = 0x00C
Bit Symbol Description Reset value
31:0 VALUE A write to this register pre-loads start count value into the timer and starts the count-down sequence.

A read reflects the current value of the timer.