satewpls 1537 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewpls, "Satelco EasyWatch DVB-S light", BUDGET_TVSTAR); satewpls 1568 drivers/media/pci/ttpci/budget-av.c MAKE_EXTENSION_PCI(satewpls, 0x1894, 0x001e),