vcpu->hv_clock.flags = pvclock_flags;
- if (!vcpu->pv_time_enabled)
- return 0;
-
- kvm_setup_pvclock_page(v);
+ if (vcpu->pv_time_enabled)
+ kvm_setup_pvclock_page(v);
+ if (v == kvm_get_vcpu(v->kvm, 0))
+ kvm_hv_setup_tsc_page(v->kvm, &vcpu->hv_clock);
return 0;
}