cin1200cmk3      1553 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(cin1200cmk3, "Terratec Cinergy 1200 DVB-C MK3", BUDGET_CIN1200C_MK3);
cin1200cmk3      1584 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(cin1200cmk3, 0x153b, 0x1176),