2586 static u64 compute_guest_tsc(struct kvm_vcpu *vcpu, s64 kernel_ns)  in compute_guest_tsc()  argument
2588 	u64 tsc = pvclock_scale_delta(kernel_ns-vcpu->arch.this_tsc_nsec,  in compute_guest_tsc()
3026 static bool kvm_get_time_and_clockread(s64 *kernel_ns, u64 *tsc_timestamp)  in kvm_get_time_and_clockread()  argument
3032 	return gtod_is_based_on_tsc(do_kvmclock_base(kernel_ns,  in kvm_get_time_and_clockread()
3040 bool kvm_get_monotonic_and_clockread(s64 *kernel_ns, u64 *tsc_timestamp)  in kvm_get_monotonic_and_clockread()  argument
3046 	return gtod_is_based_on_tsc(do_monotonic(kernel_ns,  in kvm_get_monotonic_and_clockread()
3310 	s64 kernel_ns;  in kvm_guest_time_update()  local
3314 	kernel_ns = 0;  in kvm_guest_time_update()
3326 			kernel_ns = ka->master_kernel_ns;  in kvm_guest_time_update()
3340 		kernel_ns = get_kvmclock_base_ns();  in kvm_guest_time_update()
3356 		u64 tsc = compute_guest_tsc(v, kernel_ns);  in kvm_guest_time_update()
3383 	hv_clock.system_time = kernel_ns + v->kvm->arch.kvmclock_offset;  in kvm_guest_time_update()