BUDGET_CIN1200C_MK3 1553 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(cin1200cmk3, "Terratec Cinergy 1200 DVB-C MK3", BUDGET_CIN1200C_MK3); BUDGET_CIN1200C_MK3 94 drivers/media/pci/ttpci/budget-core.c case BUDGET_CIN1200C_MK3: BUDGET_CIN1200C_MK3 433 drivers/media/pci/ttpci/budget-core.c case BUDGET_CIN1200C_MK3: