pvclock_clocksource_read    9 arch/x86/include/asm/pvclock.h u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
pvclock_clocksource_read   90 arch/x86/kernel/kvmclock.c 	ret = pvclock_clocksource_read(this_cpu_pvti());
pvclock_clocksource_read  137 arch/x86/kernel/pvclock.c 	delta = pvclock_clocksource_read(vcpu_time);	/* time since system boot */
pvclock_clocksource_read   52 arch/x86/xen/time.c 	ret = pvclock_clocksource_read(src);