ttbs2            1519 drivers/media/pci/ttpci/budget-ci.c MAKE_BUDGET_INFO(ttbs2, "TT-Budget/S-1500 PCI", BUDGET_TT);
ttbs2            1534 drivers/media/pci/ttpci/budget-ci.c 	MAKE_EXTENSION_PCI(ttbs2, 0x13c2, 0x1017),