tt3200           1525 drivers/media/pci/ttpci/budget-ci.c MAKE_BUDGET_INFO(tt3200, "TT-Budget S2-3200 PCI", BUDGET_TT);
tt3200           1536 drivers/media/pci/ttpci/budget-ci.c 	MAKE_EXTENSION_PCI(tt3200, 0x13c2, 0x1019),