[rv_timer] Wrong offset from QEMU or documentation

[SubeLucas]

There appears to be a discrepancy between the actual usage of the offset in QEMU and the information provided in the documentation. Could someone with knowledge on this topic confirm whether the QEMU implementation needs to be modified to align with the documentation, or if the documentation itself needs to be updated to reflect the current implementation?

Link of the corresponding issue on the QEMU Gitlab :
https://gitlab.com/qemu-project/qemu/-/issues/2787

Link to the current documentation :
https://github.com/lowRISC/opentitan/blob/master/hw/ip/rv_timer/doc/registers.md

[rswarbrick]

Yep, the OpenTitan documentation is correct here. (Indeed, it gets automatically generated from the same thing as the actual implementation RTL so it will definitely match!)