Searched refs:pvclock_tsc_khz (Results 1 – 4 of 4) sorted by relevance
11 unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);
34 unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src) in pvclock_tsc_khz() function
136 tsc_khz = pvclock_tsc_khz(src); in kvm_get_tsc_khz()
152 return pvclock_tsc_khz(info); in xen_tsc_khz()