x86/kvm/x86.c

2483 static u64 compute_guest_tsc(struct kvm_vcpu *vcpu, s64 kernel_ns)
2485 	u64 tsc = pvclock_scale_delta(kernel_ns-vcpu->arch.this_tsc_nsec,
2923 static bool kvm_get_time_and_clockread(s64 *kernel_ns, u64 *tsc_timestamp)
2929 	return gtod_is_based_on_tsc(do_kvmclock_base(kernel_ns,
2937 bool kvm_get_monotonic_and_clockread(s64 *kernel_ns, u64 *tsc_timestamp)
2943 	return gtod_is_based_on_tsc(do_monotonic(kernel_ns,
3207 	s64 kernel_ns;
3211 	kernel_ns = 0;
3223 			kernel_ns = ka->master_kernel_ns;
3237 		kernel_ns = get_kvmclock_base_ns();
3253 		u64 tsc = compute_guest_tsc(v, kernel_ns);
3280 	hv_clock.system_time = kernel_ns + v->kvm->arch.kvmclock_offset;