last_guest_tsc 678 arch/x86/include/asm/kvm_host.h u64 last_guest_tsc; last_guest_tsc 2018 arch/x86/kvm/x86.c vcpu->arch.last_guest_tsc = data; last_guest_tsc 2443 arch/x86/kvm/x86.c vcpu->last_guest_tsc = tsc_timestamp; last_guest_tsc 3521 arch/x86/kvm/x86.c vcpu->arch.last_guest_tsc); last_guest_tsc 8280 arch/x86/kvm/x86.c vcpu->arch.last_guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());