satewcmk3        1541 drivers/media/pci/ttpci/budget-av.c MAKE_BUDGET_INFO(satewcmk3, "Satelco EasyWatch DVB-C MK3", BUDGET_KNC1C_MK3);
satewcmk3        1572 drivers/media/pci/ttpci/budget-av.c 	MAKE_EXTENSION_PCI(satewcmk3, 0x1894, 0x002c),