Searched refs:pvclock_tsc_shift (Results 1 – 4 of 4) sorted by relevance
2022 *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()
3272 &vcpu->pvclock_tsc_shift, in kvm_guest_time_update()3277 hv_clock.tsc_shift = vcpu->pvclock_tsc_shift; in kvm_guest_time_update()
931 s8 pvclock_tsc_shift; member
Completed in 45 milliseconds