kernel_ns        1829 arch/x86/kvm/x86.c static u64 compute_guest_tsc(struct kvm_vcpu *vcpu, s64 kernel_ns)
kernel_ns        1831 arch/x86/kvm/x86.c 	u64 tsc = pvclock_scale_delta(kernel_ns-vcpu->arch.this_tsc_nsec,
kernel_ns        2158 arch/x86/kvm/x86.c static bool kvm_get_time_and_clockread(s64 *kernel_ns, u64 *tsc_timestamp)
kernel_ns        2164 arch/x86/kvm/x86.c 	return gtod_is_based_on_tsc(do_monotonic_boot(kernel_ns,
kernel_ns        2374 arch/x86/kvm/x86.c 	s64 kernel_ns;
kernel_ns        2379 arch/x86/kvm/x86.c 	kernel_ns = 0;
kernel_ns        2390 arch/x86/kvm/x86.c 		kernel_ns = ka->master_kernel_ns;
kernel_ns        2404 arch/x86/kvm/x86.c 		kernel_ns = ktime_get_boottime_ns();
kernel_ns        2420 arch/x86/kvm/x86.c 		u64 tsc = compute_guest_tsc(v, kernel_ns);
kernel_ns        2442 arch/x86/kvm/x86.c 	vcpu->hv_clock.system_time = kernel_ns + v->kvm->arch.kvmclock_offset;