For future reference:
with the card in the horizontal position, with the bottom tab of the PCI-e card on the left (as viewed from behind the computer), the connector's wide end is in the upper location. The port in use are:
h1hwsex: Left hand port
h1hwsey: Left hand port
h1hwsmsr: Right hand port (ITMX readout)