virtio_sys::virtio_ids

Constant VIRTIO_ID_PVCLOCK

Source 
pub const VIRTIO_ID_PVCLOCK: u32 = 61;