ib_ports 123 drivers/infiniband/hw/mlx4/main.c int ib_ports = 0; ib_ports 127 drivers/infiniband/hw/mlx4/main.c ib_ports++; ib_ports 129 drivers/infiniband/hw/mlx4/main.c return ib_ports;