ib_client_put 694 drivers/infiniband/core/device.c ib_client_put(client); ib_client_put 731 drivers/infiniband/core/device.c ib_client_put(client); ib_client_put 1782 drivers/infiniband/core/device.c ib_client_put(client);