Searched refs:pvclock_clocksource_read (Results 1 – 4 of 4) sorted by relevance
67 u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src) in pvclock_clocksource_read() function137 delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */ in pvclock_read_wallclock()
80 ret = pvclock_clocksource_read(this_cpu_pvti()); in kvm_clock_read()
9 u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
53 ret = pvclock_clocksource_read(src); in xen_clocksource_read()