satewps          1539 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewps, "Satelco EasyWatch DVB-S", BUDGET_KNC1S);
satewps          1570 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(satewps, 0x1894, 0x001b),