H A D | x86.c | 1 // SPDX-License-Identifier: GPL-2.0-only 3 * Kernel-based Virtual Machine driver for Linux 16 * Ben-Ami Yassour <benami@il.ibm.com> 48 #include <linux/user-return-notifier.h> 62 #include <linux/entry-kvm.h> 103 ((struct kvm_vcpu *)(ctxt)->vcp 2674 __kvm_synchronize_tsc(struct kvm_vcpu * vcpu,u64 offset,u64 tsc,u64 ns,bool matched) __kvm_synchronize_tsc() argument 2723 u64 offset, ns, elapsed; kvm_synchronize_tsc() local 2855 u64 ns; do_monotonic_raw() local 2874 u64 ns; do_realtime() local 5539 u64 offset, tsc, ns; kvm_arch_tsc_set_attr() local [all...] |