gxs_1_3          2859 drivers/media/pci/ttpci/av7110.c MAKE_AV7110_INFO(gxs_1_3,    "Galaxis DVB-S rev1.3");
gxs_1_3          2867 drivers/media/pci/ttpci/av7110.c 	MAKE_EXTENSION_PCI(gxs_1_3,     0x13c2, 0x0004),