8 cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
9 u8 pvclock_read_flags(struct pvclock_vcpu_time_info *src);
11 unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);
63 u64 pvclock_get_nsec_offset(const struct pvclock_vcpu_time_info *src)  in pvclock_get_nsec_offset()  argument
65 	u64 delta = rdtsc_ordered() - src->tsc_timestamp;  in pvclock_get_nsec_offset()
66 	return pvclock_scale_delta(delta, src->tsc_to_system_mul,  in pvclock_get_nsec_offset()
67 				   src->tsc_shift);  in pvclock_get_nsec_offset()
71 unsigned __pvclock_read_cycles(const struct pvclock_vcpu_time_info *src,  in __pvclock_read_cycles()  argument
78 	version = src->version;  in __pvclock_read_cycles()
80 	offset = pvclock_get_nsec_offset(src);  in __pvclock_read_cycles()
81 	ret = src->system_time + offset;  in __pvclock_read_cycles()
82 	ret_flags = src->flags;  in __pvclock_read_cycles()