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