Glauber Costa wrote:
> This is not exactly what kvm does. For us, wallclock read and system
> time reads are decoupled operations, controlled by different msrs.
Same for xen. Although both live in the shared_info page they are
updated independently (and the wall clock is updated much less freque
> +void pvclock_read_wallclock(struct kvm_wall_clock *wall_clock,
> + struct kvm_vcpu_time_info *vcpu_time,
> + struct timespec *ts)
> +{
> + u32 version;
> + u64 delta;
> + struct timespec now;
> +
> + /* get wall
