2415 static inline u64 vgettsc(struct pvclock_clock *clock, u64 *tsc_timestamp,  in vgettsc()  argument
2424 						  tsc_timestamp);  in vgettsc()
2437 		*tsc_timestamp = read_tsc();  in vgettsc()
2438 		v = (*tsc_timestamp - clock->cycle_last) &  in vgettsc()
2446 		*tsc_timestamp = v = 0;  in vgettsc()
2451 static int do_monotonic_raw(s64 *t, u64 *tsc_timestamp)  in do_monotonic_raw()  argument
2461 		ns += vgettsc(&gtod->raw_clock, tsc_timestamp, &mode);  in do_monotonic_raw()
2470 static int do_realtime(struct timespec64 *ts, u64 *tsc_timestamp)  in do_realtime()  argument
2481 		ns += vgettsc(&gtod->clock, tsc_timestamp, &mode);  in do_realtime()
2492 static bool kvm_get_time_and_clockread(s64 *kernel_ns, u64 *tsc_timestamp)  in kvm_get_time_and_clockread()  argument
2499 						      tsc_timestamp));  in kvm_get_time_and_clockread()
2504 					   u64 *tsc_timestamp)  in kvm_get_walltime_and_clockread()  argument
2510 	return gtod_is_based_on_tsc(do_realtime(ts, tsc_timestamp));  in kvm_get_walltime_and_clockread()
2626 	hv_clock.tsc_timestamp = ka->master_cycle_now;  in get_kvmclock_ns()
2709 	u64 tsc_timestamp, host_tsc;  in kvm_guest_time_update()  local
2741 	tsc_timestamp = kvm_read_l1_tsc(v, host_tsc);  in kvm_guest_time_update()
2755 		if (tsc > tsc_timestamp) {  in kvm_guest_time_update()
2756 			adjust_tsc_offset_guest(v, tsc - tsc_timestamp);  in kvm_guest_time_update()
2757 			tsc_timestamp = tsc;  in kvm_guest_time_update()
2775 	vcpu->hv_clock.tsc_timestamp = tsc_timestamp;  in kvm_guest_time_update()
2777 	vcpu->last_guest_tsc = tsc_timestamp;  in kvm_guest_time_update()