BUDGET_KNC1SP    1543 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1sp, "KNC1 DVB-S Plus", BUDGET_KNC1SP);
BUDGET_KNC1SP    1544 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1spx4, "KNC1 DVB-S Plus X4", BUDGET_KNC1SP);