timer_max_overrun  214 drivers/media/cec/cec-pin-priv.h 	u32				timer_max_overrun;
timer_max_overrun  860 drivers/media/cec/cec-pin.c 			if (delta > pin->timer_max_overrun)
timer_max_overrun  861 drivers/media/cec/cec-pin.c 				pin->timer_max_overrun = delta;
timer_max_overrun 1216 drivers/media/cec/cec-pin.c 			   pin->timer_max_overrun);
timer_max_overrun 1250 drivers/media/cec/cec-pin.c 	pin->timer_max_overrun = 0;