ttbtci           1522 drivers/media/pci/ttpci/budget-ci.c MAKE_BUDGET_INFO(ttbtci, "TT-Budget-T-CI PCI", BUDGET_TT);
ttbtci           1533 drivers/media/pci/ttpci/budget-ci.c 	MAKE_EXTENSION_PCI(ttbtci, 0x13c2, 0x1012),