knc1t            1535 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1t, "KNC1 DVB-T", BUDGET_KNC1T);
knc1t            1579 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1t, 0x1894, 0x0030),