knc1s            1531 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1s, "KNC1 DVB-S", BUDGET_KNC1S);
knc1s            1557 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1s, 0x1131, 0x4f56),
knc1s            1558 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1s, 0x1131, 0x0010),
knc1s            1559 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1s, 0x1894, 0x0010),