Symbol: pvclock_read_wallclock
arch/x86/include/asm/pvclock.h
15
void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
arch/x86/kernel/kvmclock.c
66
pvclock_read_wallclock(&wall_clock, this_cpu_pvti(), now);
arch/x86/xen/time.c
85
pvclock_read_wallclock(wall_clock, vcpu_time, ts);