knc1spx4         1544 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1spx4, "KNC1 DVB-S Plus X4", BUDGET_KNC1SP);
knc1spx4         1563 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1spx4, 0x1894, 0x0015),