satewplc         1540 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewplc, "Satelco EasyWatch DVB-C", BUDGET_KNC1CP);
satewplc         1571 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(satewplc, 0x1894, 0x002a),