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