2812 static inline u64 vgettsc(struct pvclock_clock *clock, u64 *tsc_timestamp,  in vgettsc()  argument
2821 					 tsc_timestamp, &tsc_pg_val)) {  in vgettsc()
2833 		*tsc_timestamp = read_tsc();  in vgettsc()
2834 		v = (*tsc_timestamp - clock->cycle_last) &  in vgettsc()
2842 		*tsc_timestamp = v = 0;  in vgettsc()
2847 static int do_monotonic_raw(s64 *t, u64 *tsc_timestamp)  in do_monotonic_raw()  argument
2857 		ns += vgettsc(&gtod->raw_clock, tsc_timestamp, &mode);  in do_monotonic_raw()
2866 static int do_realtime(struct timespec64 *ts, u64 *tsc_timestamp)  in do_realtime()  argument
2877 		ns += vgettsc(&gtod->clock, tsc_timestamp, &mode);  in do_realtime()
2888 static bool kvm_get_time_and_clockread(s64 *kernel_ns, u64 *tsc_timestamp)  in kvm_get_time_and_clockread()  argument
2895 						      tsc_timestamp));  in kvm_get_time_and_clockread()
2900 					   u64 *tsc_timestamp)  in kvm_get_walltime_and_clockread()  argument
2906 	return gtod_is_based_on_tsc(do_realtime(ts, tsc_timestamp));  in kvm_get_walltime_and_clockread()
3065 		hv_clock.tsc_timestamp = ka->master_cycle_now;  in __get_kvmclock()
3153 	u64 tsc_timestamp, host_tsc;  in kvm_guest_time_update()  local
3186 	tsc_timestamp = kvm_read_l1_tsc(v, host_tsc);  in kvm_guest_time_update()
3200 		if (tsc > tsc_timestamp) {  in kvm_guest_time_update()
3201 			adjust_tsc_offset_guest(v, tsc - tsc_timestamp);  in kvm_guest_time_update()
3202 			tsc_timestamp = tsc;  in kvm_guest_time_update()
3222 	vcpu->hv_clock.tsc_timestamp = tsc_timestamp;  in kvm_guest_time_update()
3224 	vcpu->last_guest_tsc = tsc_timestamp;  in kvm_guest_time_update()