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;