av7110_num        106 drivers/media/pci/ttpci/av7110.c static int av7110_num;
av7110_num       2708 drivers/media/pci/ttpci/av7110.c 	printk(KERN_INFO "dvb-ttpci: found av7110-%d.\n", av7110_num);
av7110_num       2709 drivers/media/pci/ttpci/av7110.c 	av7110_num++;
av7110_num       2788 drivers/media/pci/ttpci/av7110.c 	av7110_num--;