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;