knc1cpmk3        1548 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1cpmk3, "KNC1 DVB-C Plus MK3", BUDGET_KNC1CP_MK3);
knc1cpmk3        1578 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1cpmk3, 0x1894, 0x0023),