Symbol: BUDGET_CIN1200C
drivers/media/pci/ttpci/budget-av.c
1555
MAKE_BUDGET_INFO(cin1200c, "Terratec Cinergy 1200 DVB-C", BUDGET_CIN1200C);
drivers/media/pci/ttpci/budget-core.c
438
case BUDGET_CIN1200C: