Searched refs:pvclock_tsc_shift (Results 1 – 4 of 4) sorted by relevance
2132 *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()
3386 &vcpu->pvclock_tsc_shift, in kvm_guest_time_update()3391 hv_clock.tsc_shift = vcpu->pvclock_tsc_shift; in kvm_guest_time_update()
951 s8 pvclock_tsc_shift; member