knc1cmk3         1546 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1cmk3, "KNC1 DVB-C MK3", BUDGET_KNC1C_MK3);
knc1cmk3         1576 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1cmk3, 0x1894, 0x0022),