vida_count       1786 drivers/media/pci/cx23885/cx23885-core.c 	int vida_count = 0, ts1_count = 0, ts2_count = 0, handled = 0;
vida_count       1812 drivers/media/pci/cx23885/cx23885-core.c 	vida_count = cx_read(VID_A_GPCNT);
vida_count       1819 drivers/media/pci/cx23885/cx23885-core.c 		vida_status, vida_mask, vida_count);