ibv_devices should show something like this, regardless how the ports are configured
device node GUID
------ ----------------
mlx4_0 0002c9030....
Do you see the adapter with this command?
lspci -d 15b3:
If yes, can you check if mlx modules are loaded? lsmod | grep mlx