ttbci            1520 drivers/media/pci/ttpci/budget-ci.c MAKE_BUDGET_INFO(ttbci, "TT-Budget/WinTV-NOVA-CI PCI", BUDGET_TT_HW_DISEQC);
ttbci            1529 drivers/media/pci/ttpci/budget-ci.c 	MAKE_EXTENSION_PCI(ttbci, 0x13c2, 0x100c),
ttbci            1530 drivers/media/pci/ttpci/budget-ci.c 	MAKE_EXTENSION_PCI(ttbci, 0x13c2, 0x100f),