avg_us            395 drivers/cpuidle/governors/teo.c 			unsigned int avg_us = div64_u64(sum, count);
avg_us            401 drivers/cpuidle/governors/teo.c 			if (!(tick_nohz_tick_stopped() && avg_us < TICK_USEC)) {
avg_us            402 drivers/cpuidle/governors/teo.c 				duration_us = avg_us;
avg_us            403 drivers/cpuidle/governors/teo.c 				if (drv->states[idx].target_residency > avg_us)
avg_us            405 drivers/cpuidle/governors/teo.c 								       idx, avg_us);