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