EC1R             1258 drivers/media/pci/ttpci/av7110.c 	       saa7146_read(budget->dev, EC1R) & 0x3fff);
EC1R             2441 drivers/media/pci/ttpci/av7110.c 		printk("dvb-ttpci: Event Counter 1 0x%04x\n", saa7146_read(dev, EC1R) & 0x3fff );
EC1R              472 drivers/media/pci/ttpci/budget-patch.c 	printk("Event Counter 1 0x%04x\n", saa7146_read(dev, EC1R) & 0x3fff );