Searched refs:pvclock_tsc_mul (Results 1 – 4 of 4) sorted by relevance
939 u32 pvclock_tsc_mul; member
2069 *ecx = vcpu->arch.pvclock_tsc_mul; in kvm_cpuid()
180 hv_clock->tsc_to_system_mul != vcpu->arch.pvclock_tsc_mul) in xen_get_guest_pvclock()
3372 &vcpu->pvclock_tsc_mul); in kvm_guest_time_update()3377 hv_clock.tsc_to_system_mul = vcpu->pvclock_tsc_mul; in kvm_guest_time_update()