BUDGET_KNC1T     1535 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1t, "KNC1 DVB-T", BUDGET_KNC1T);
BUDGET_KNC1T     1542 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewt, "Satelco EasyWatch DVB-T", BUDGET_KNC1T);