BUDGET_KNC1C_MK3 1541 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewcmk3, "Satelco EasyWatch DVB-C MK3", BUDGET_KNC1C_MK3);
BUDGET_KNC1C_MK3 1546 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(knc1cmk3, "KNC1 DVB-C MK3", BUDGET_KNC1C_MK3);
BUDGET_KNC1C_MK3   95 drivers/media/pci/ttpci/budget-core.c 	case BUDGET_KNC1C_MK3:
BUDGET_KNC1C_MK3  430 drivers/media/pci/ttpci/budget-core.c 	case BUDGET_KNC1C_MK3: