Module timerawh
rp2040::timer
Raw read from bits 63:32 of time (no side effects)
Reader of register TIMERAWH