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),