Searched refs:pvclock_clocksource_read (Results 1 – 4 of 4) sorted by relevance
91 cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src) in pvclock_clocksource_read() function151 delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */ in pvclock_read_wallclock()
79 ret = pvclock_clocksource_read(src); in kvm_clock_read()
8 cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
173 ret = pvclock_clocksource_read(src); in xen_clocksource_read()