pvclock_clocksource_read   76 arch/x86/kernel/kvmclock.c 	ret = pvclock_clocksource_read(src);
pvclock_clocksource_read  134 arch/x86/kernel/pvclock.c 	delta = pvclock_clocksource_read(vcpu_time);	/* time since system boot */
pvclock_clocksource_read  220 arch/x86/xen/time.c 	ret = pvclock_clocksource_read(src);
pvclock_clocksource_read    8 include/asm-x86/pvclock.h cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);