thresh_lo        1798 arch/x86/kvm/x86.c 	u32 thresh_lo, thresh_hi;
thresh_lo        1820 arch/x86/kvm/x86.c 	thresh_lo = adjust_tsc_khz(tsc_khz, -tsc_tolerance_ppm);
thresh_lo        1822 arch/x86/kvm/x86.c 	if (user_tsc_khz < thresh_lo || user_tsc_khz > thresh_hi) {
thresh_lo        1823 arch/x86/kvm/x86.c 		pr_debug("kvm: requested TSC rate %u falls outside tolerance [%u,%u]\n", user_tsc_khz, thresh_lo, thresh_hi);