Symbol: pvclock_clocksource_read
arch/x86/include/asm/pvclock.h
10
u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
arch/x86/kernel/pvclock.c
147
delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */
arch/x86/xen/time.c
57
ret = pvclock_clocksource_read(src);
tools/arch/x86/include/asm/pvclock.h
9
u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);