satel 824 drivers/media/pci/ttpci/budget.c MAKE_BUDGET_INFO(satel, "SATELCO Multimedia PCI", BUDGET_TT_HW_DISEQC); satel 838 drivers/media/pci/ttpci/budget.c MAKE_EXTENSION_PCI(satel, 0x13c2, 0x1013),