Symbol: BUDGET_CIN1200C_MK3
drivers/media/pci/ttpci/budget-av.c
1556
MAKE_BUDGET_INFO(cin1200cmk3, "Terratec Cinergy 1200 DVB-C MK3", BUDGET_CIN1200C_MK3);
drivers/media/pci/ttpci/budget-core.c
442
case BUDGET_CIN1200C_MK3:
drivers/media/pci/ttpci/budget-core.c
95
case BUDGET_CIN1200C_MK3: