devices::virtio::pvclock

Function read_clock_counter

Source 
fn read_clock_counter() -> u64