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),