ttbs1500b        1526 drivers/media/pci/ttpci/budget-ci.c MAKE_BUDGET_INFO(ttbs1500b, "TT-Budget S-1500B PCI", BUDGET_TT);
ttbs1500b        1537 drivers/media/pci/ttpci/budget-ci.c 	MAKE_EXTENSION_PCI(ttbs1500b, 0x13c2, 0x101b),