sylt 832 drivers/media/pci/ttpci/budget.c MAKE_BUDGET_INFO(sylt, "Philips Semi Sylt PCI", BUDGET_TT_HW_DISEQC); sylt 847 drivers/media/pci/ttpci/budget.c MAKE_EXTENSION_PCI(sylt, 0x1131, 0x4f52),