kncxs            1536 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(kncxs, "KNC TV STAR DVB-S", BUDGET_TVSTAR);
kncxs            1562 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(kncxs, 0x1894, 0x0014),
kncxs            1564 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(kncxs, 0x1894, 0x0016),