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