pvclock_read_wallclock   13 arch/x86/include/asm/pvclock.h void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
pvclock_read_wallclock   76 arch/x86/kernel/kvmclock.c 	pvclock_read_wallclock(&wall_clock, this_cpu_pvti(), now);
pvclock_read_wallclock   74 arch/x86/xen/time.c 	pvclock_read_wallclock(wall_clock, vcpu_time, ts);