const VIRTIO_PVCLOCK_F_TSC_STABLE: u64 = 0;