timer_100ms_overruns 212 drivers/media/cec/cec-pin-priv.h u32 timer_100ms_overruns; timer_100ms_overruns 857 drivers/media/cec/cec-pin.c pin->timer_100ms_overruns++; timer_100ms_overruns 1210 drivers/media/cec/cec-pin.c if (pin->timer_100ms_overruns) { timer_100ms_overruns 1212 drivers/media/cec/cec-pin.c pin->timer_100ms_overruns, pin->timer_cnt); timer_100ms_overruns 1218 drivers/media/cec/cec-pin.c pin->timer_sum_overrun / pin->timer_100ms_overruns); timer_100ms_overruns 1248 drivers/media/cec/cec-pin.c pin->timer_100ms_overruns = 0;