numinvalid        552 drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c static int numpkt, numts, numstuff, numsec, numinvalid;
numinvalid        563 drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c 		numinvalid++;
numinvalid        572 drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c 		numinvalid++;
numinvalid        619 drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c 		numinvalid++;
numinvalid        767 drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c 					numts, numstuff, numsec, numinvalid,
numinvalid        768 drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c 					numts + numstuff + numsec + numinvalid);
numinvalid        769 drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c 				numts = numstuff = numsec = numinvalid = 0;