knc1c            1534 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1c, "KNC1 DVB-C", BUDGET_KNC1C);
knc1c            1574 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1c, 0x1894, 0x0020),