knc1ctda10024    1547 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1ctda10024, "KNC1 DVB-C TDA10024", BUDGET_KNC1C_TDA10024);
knc1ctda10024    1577 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1ctda10024, 0x1894, 0x0028),