Symbol: BUDGET_CIN1200S
drivers/media/pci/ttpci/budget-av.c
1553
MAKE_BUDGET_INFO(cin1200s, "TerraTec Cinergy 1200 DVB-S", BUDGET_CIN1200S);
drivers/media/pci/ttpci/budget-av.c
1554
MAKE_BUDGET_INFO(cin1200sn, "TerraTec Cinergy 1200 DVB-S", BUDGET_CIN1200S);