BUDGET_KNC1CP_MK3 1548 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1cpmk3, "KNC1 DVB-C Plus MK3", BUDGET_KNC1CP_MK3);
BUDGET_KNC1CP_MK3   97 drivers/media/pci/ttpci/budget-core.c 	case BUDGET_KNC1CP_MK3:
BUDGET_KNC1CP_MK3  432 drivers/media/pci/ttpci/budget-core.c 	case BUDGET_KNC1CP_MK3: