BUDGET_KNC1S     1531 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1s, "KNC1 DVB-S", BUDGET_KNC1S);
BUDGET_KNC1S     1538 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewpls1, "Satelco EasyWatch DVB-S light", BUDGET_KNC1S);
BUDGET_KNC1S     1539 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewps, "Satelco EasyWatch DVB-S", BUDGET_KNC1S);