Function read_virtual_timer 

pub fn read_virtual_timer() -> u64

A free-standing function to get the current Virtual Timer value

In some circumstances (e.g. timestamping a defmt log) you just want to get the time and don’t want to drag around an object representing the whole timer.

This is just a thin wrapper around the relevant CPU register’s read function

• this just has a more discoverable name.