BUDGET_KNC1S2 1532 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1s2,"KNC1 DVB-S2", BUDGET_KNC1S2); BUDGET_KNC1S2 1533 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(sates2,"Satelco EasyWatch DVB-S2", BUDGET_KNC1S2);