ttbs1401          825 drivers/media/pci/ttpci/budget.c MAKE_BUDGET_INFO(ttbs1401, "TT-Budget-S-1401 PCI", BUDGET_TT);
ttbs1401          840 drivers/media/pci/ttpci/budget.c 	MAKE_EXTENSION_PCI(ttbs1401, 0x13c2, 0x1018),