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