local_tsc        9302 arch/x86/kvm/x86.c 	u64 local_tsc;
local_tsc        9311 arch/x86/kvm/x86.c 	local_tsc = rdtsc();
local_tsc        9317 arch/x86/kvm/x86.c 			if (stable && vcpu->arch.last_host_tsc > local_tsc) {
local_tsc        9364 arch/x86/kvm/x86.c 		u64 delta_cyc = max_tsc - local_tsc;
local_tsc        9369 arch/x86/kvm/x86.c 				vcpu->arch.last_host_tsc = local_tsc;