pvclock_read_wallclock   59 arch/x86/kernel/kvmclock.c 	pvclock_read_wallclock(&wall_clock, vcpu_time, &ts);
pvclock_read_wallclock  232 arch/x86/xen/time.c 	pvclock_read_wallclock(wall_clock, vcpu_time, ts);
pvclock_read_wallclock    9 include/asm-x86/pvclock.h void pvclock_read_wallclock(struct pvclock_wall_clock *wall,