pvclock_vcpu_time_info  430 arch/x86/include/asm/kvm_host.h 	struct pvclock_vcpu_time_info hv_clock;
pvclock_vcpu_time_info    8 arch/x86/include/asm/pvclock.h cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
pvclock_vcpu_time_info    9 arch/x86/include/asm/pvclock.h u8 pvclock_read_flags(struct pvclock_vcpu_time_info *src);
pvclock_vcpu_time_info   11 arch/x86/include/asm/pvclock.h unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);
pvclock_vcpu_time_info   13 arch/x86/include/asm/pvclock.h 			    struct pvclock_vcpu_time_info *vcpu,
pvclock_vcpu_time_info   63 arch/x86/include/asm/pvclock.h u64 pvclock_get_nsec_offset(const struct pvclock_vcpu_time_info *src)
pvclock_vcpu_time_info   71 arch/x86/include/asm/pvclock.h unsigned __pvclock_read_cycles(const struct pvclock_vcpu_time_info *src,
pvclock_vcpu_time_info   97 arch/x86/include/asm/pvclock.h 	struct pvclock_vcpu_time_info pvti;
pvclock_vcpu_time_info  105 arch/x86/include/asm/pvclock.h struct pvclock_vcpu_time_info *pvclock_get_vsyscall_time_info(int cpu);
pvclock_vcpu_time_info  529 include/xen/interface/xen.h 	struct pvclock_vcpu_time_info time;