cin1200t         1554 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(cin1200t, "Terratec Cinergy 1200 DVB-T", BUDGET_CIN1200T);
cin1200t         1585 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(cin1200t, 0x153b, 0x1157),