Searched refs:pvclock_tsc_shift (Results 1 – 4 of 4) sorted by relevance
938 s8 pvclock_tsc_shift; member
2070 *edx = vcpu->arch.pvclock_tsc_shift; in kvm_cpuid()
179 if (hv_clock->tsc_shift != vcpu->arch.pvclock_tsc_shift || in xen_get_guest_pvclock()
3371 &vcpu->pvclock_tsc_shift, in kvm_guest_time_update()3376 hv_clock.tsc_shift = vcpu->pvclock_tsc_shift; in kvm_guest_time_update()