BUDGET_TVSTAR    1536 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(kncxs, "KNC TV STAR DVB-S", BUDGET_TVSTAR);
BUDGET_TVSTAR    1537 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewpls, "Satelco EasyWatch DVB-S light", BUDGET_TVSTAR);