knc1s2           1532 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1s2,"KNC1 DVB-S2", BUDGET_KNC1S2);
knc1s2           1565 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1s2, 0x1894, 0x0018),
knc1s2           1566 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1s2, 0x1894, 0x0019),