max_tsc          9303 arch/x86/kvm/x86.c 	u64 max_tsc = 0;
max_tsc          9319 arch/x86/kvm/x86.c 				if (vcpu->arch.last_host_tsc > max_tsc)
max_tsc          9320 arch/x86/kvm/x86.c 					max_tsc = vcpu->arch.last_host_tsc;
max_tsc          9364 arch/x86/kvm/x86.c 		u64 delta_cyc = max_tsc - local_tsc;