sates2           1533 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(sates2,"Satelco EasyWatch DVB-S2", BUDGET_KNC1S2);
sates2           1567 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(sates2, 0x1894, 0x001d),