BUDGET_KNC1C     1534 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1c, "KNC1 DVB-C", BUDGET_KNC1C);
BUDGET_KNC1C      427 drivers/media/pci/ttpci/budget-core.c 	case BUDGET_KNC1C: