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());