cin1200sn        1551 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(cin1200sn, "TerraTec Cinergy 1200 DVB-S", BUDGET_CIN1200S);
cin1200sn        1582 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(cin1200sn, 0x153b, 0x1155),