tts_1_3se        2855 drivers/media/pci/ttpci/av7110.c MAKE_AV7110_INFO(tts_1_3se,  "Technotrend/Hauppauge WinTV DVB-S rev1.3 SE");
tts_1_3se        2872 drivers/media/pci/ttpci/av7110.c 	MAKE_EXTENSION_PCI(tts_1_3se,   0x13c2, 0x1002),