knc1sp           1543 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1sp, "KNC1 DVB-S Plus", BUDGET_KNC1SP);
knc1sp           1560 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1sp, 0x1131, 0x0011),
knc1sp           1561 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(knc1sp, 0x1894, 0x0011),