34 unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src)  in pvclock_tsc_khz()  argument
38 	do_div(pv_tsc_khz, src->tsc_to_system_mul);  in pvclock_tsc_khz()
39 	if (src->tsc_shift < 0)  in pvclock_tsc_khz()
40 		pv_tsc_khz <<= -src->tsc_shift;  in pvclock_tsc_khz()
42 		pv_tsc_khz >>= src->tsc_shift;  in pvclock_tsc_khz()
61 u8 pvclock_read_flags(struct pvclock_vcpu_time_info *src)  in pvclock_read_flags()  argument
68 		version = __pvclock_read_cycles(src, &ret, &flags);  in pvclock_read_flags()
69 	} while ((src->version & 1) || version != src->version);  in pvclock_read_flags()
74 cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src)  in pvclock_clocksource_read()  argument
82 		version = __pvclock_read_cycles(src, &ret, &flags);  in pvclock_clocksource_read()
83 	} while ((src->version & 1) || version != src->version);  in pvclock_clocksource_read()
86 		src->flags &= ~PVCLOCK_GUEST_STOPPED;  in pvclock_clocksource_read()