Searched refs:pvclock_clocksource_read (Results 1 – 4 of 4) sorted by relevance
113 u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src) in pvclock_clocksource_read() function147 delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */ in pvclock_read_wallclock()
9 u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
10 u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
54 ret = pvclock_clocksource_read(src); in xen_clocksource_read()