ts1_count        1786 drivers/media/pci/cx23885/cx23885-core.c 	int vida_count = 0, ts1_count = 0, ts2_count = 0, handled = 0;
ts1_count        1814 drivers/media/pci/cx23885/cx23885-core.c 	ts1_count = cx_read(ts1->reg_gpcnt);
ts1_count        1823 drivers/media/pci/cx23885/cx23885-core.c 		ts1_status, ts1_mask, ts1_count);