satewpls1        1538 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewpls1, "Satelco EasyWatch DVB-S light", BUDGET_KNC1S);
satewpls1        1569 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(satewpls1, 0x1894, 0x001a),