Searched refs:pvclock_tsc_mul (Results 1 – 4 of 4) sorted by relevance
2130 *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()
3385 &vcpu->pvclock_tsc_mul); in kvm_guest_time_update()3390 hv_clock.tsc_to_system_mul = vcpu->pvclock_tsc_mul; in kvm_guest_time_update()
951 u32 pvclock_tsc_mul; member