knc1tp           1549 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1tp, "KNC1 DVB-T Plus", BUDGET_KNC1TP);
knc1tp           1580 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1tp, 0x1894, 0x0031),