BUDGET_TT_HW_DISEQC 1520 drivers/media/pci/ttpci/budget-ci.c MAKE_BUDGET_INFO(ttbci, "TT-Budget/WinTV-NOVA-CI PCI", BUDGET_TT_HW_DISEQC); BUDGET_TT_HW_DISEQC 824 drivers/media/pci/ttpci/budget.c MAKE_BUDGET_INFO(satel, "SATELCO Multimedia PCI", BUDGET_TT_HW_DISEQC); BUDGET_TT_HW_DISEQC 832 drivers/media/pci/ttpci/budget.c MAKE_BUDGET_INFO(sylt, "Philips Semi Sylt PCI", BUDGET_TT_HW_DISEQC);