2594 static inline u64 vgettsc(struct pvclock_clock *clock, u64 *tsc_timestamp,  in vgettsc()  argument
2603 						  tsc_timestamp);  in vgettsc()
2616 		*tsc_timestamp = read_tsc();  in vgettsc()
2617 		v = (*tsc_timestamp - clock->cycle_last) &  in vgettsc()
2625 		*tsc_timestamp = v = 0;  in vgettsc()
2630 static int do_monotonic_raw(s64 *t, u64 *tsc_timestamp)  in do_monotonic_raw()  argument
2640 		ns += vgettsc(&gtod->raw_clock, tsc_timestamp, &mode);  in do_monotonic_raw()
2649 static int do_realtime(struct timespec64 *ts, u64 *tsc_timestamp)  in do_realtime()  argument
2660 		ns += vgettsc(&gtod->clock, tsc_timestamp, &mode);  in do_realtime()
2671 static bool kvm_get_time_and_clockread(s64 *kernel_ns, u64 *tsc_timestamp)  in kvm_get_time_and_clockread()  argument
2678 						      tsc_timestamp));  in kvm_get_time_and_clockread()
2683 					   u64 *tsc_timestamp)  in kvm_get_walltime_and_clockread()  argument
2689 	return gtod_is_based_on_tsc(do_realtime(ts, tsc_timestamp));  in kvm_get_walltime_and_clockread()
2809 	hv_clock.tsc_timestamp = ka->master_cycle_now;  in get_kvmclock_ns()
2894 	u64 tsc_timestamp, host_tsc;  in kvm_guest_time_update()  local
2926 	tsc_timestamp = kvm_read_l1_tsc(v, host_tsc);  in kvm_guest_time_update()
2940 		if (tsc > tsc_timestamp) {  in kvm_guest_time_update()
2941 			adjust_tsc_offset_guest(v, tsc - tsc_timestamp);  in kvm_guest_time_update()
2942 			tsc_timestamp = tsc;  in kvm_guest_time_update()
2961 	vcpu->hv_clock.tsc_timestamp = tsc_timestamp;  in kvm_guest_time_update()
2963 	vcpu->last_guest_tsc = tsc_timestamp;  in kvm_guest_time_update()