satewt           1542 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewt, "Satelco EasyWatch DVB-T", BUDGET_KNC1T);
satewt           1573 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(satewt, 0x1894, 0x003a),