Searched refs:pvclock_tsc_khz (Results 1 - 4 of 4) sorted by relevance

/linux-4.1.27/arch/x86/include/asm/
H A Dpvclock.h11 unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);
/linux-4.1.27/arch/x86/kernel/
H A Dpvclock.c34 unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src) pvclock_tsc_khz() function
H A Dkvmclock.c111 tsc_khz = pvclock_tsc_khz(src); kvm_get_tsc_khz()
/linux-4.1.27/arch/x86/xen/
H A Dtime.c152 return pvclock_tsc_khz(info); xen_tsc_khz()

Completed in 280 milliseconds