| Register Name | Offset Address | Width | Type | Reset Value | Description |
|---|
| current_counter_value_lower_register | 0x0000000000 | 32 | rwNormal read/write | 0x00000000 | Reads or writes the lower 32 bits of the current counter value. The read-only programming interface can read but not write to this register. The control interface must clear the CNTCR.EN bit before writing to this register. |
| current_counter_value_upper_register | 0x0000000004 | 32 | rwNormal read/write | 0x00000000 | Reads or writes the upper 32 bits of the current counter value. The read-only programming interface can read but not write this register. The control interface must clear the CNTCR.EN bit before writing to this register. |