Function devices::virtio::pvclock::read_clock_counter

source ยท 
fn read_clock_counter() -> u64