Originally Posted by alanw
In Win7 i got 4 (!!!) different hdmi device in the device manager. All 4 devices had the following hardware id:
I think you could have use lspci with various options in Linux to retrieve all your Vendor, Device, and subdevice ids. Give that a shot.