ttbcci           1523 drivers/media/pci/ttpci/budget-ci.c MAKE_BUDGET_INFO(ttbcci, "TT-Budget-C-CI PCI", BUDGET_TT);
ttbcci           1531 drivers/media/pci/ttpci/budget-ci.c 	MAKE_EXTENSION_PCI(ttbcci, 0x13c2, 0x1010),